INFERENCIA LÓGICA
IMPLICACIONES LÓGICAS Se lo representa por el símbolo “ ® ”, no es un conectivo lógico, es un signo de relación Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la condicional nos da una tautología. Simbólicamente se lo representa así: A ® B. Si la proposición compuesta A implica a la proposición compuesta B, entonces B se deduce necesariamente de A, o también se dice que B se infiere lógicamente de A. Ejemplo: Demostrar que el esquema A implica a B A: p Ù q B: p Ú q Luego unimos con la condicional y construimos la tabla: p Ù q Þ p Ú q p q p Ù q Þ p Ú q V V F F V F V F V F F F V V V V V V V F Como...