Page 8 - Lógica Proposicional
P. 8
Además, existe otros operadores lógicos relacionados con la condicional:
CONDICIONAL INVERSA:
Cuando se niega las dos preposiciones (┐a→┐b)
CONDICIONAL RECIPROCA:
Cuando se invierte el orden de las preposiciones del antecedente y consecuente. (b
→a)
CONDICIONAL CONTRARECIPROCA:
Cuando se niega la reciproca entonces es (┐a→┐b)
PROPOSICIONES SIMPLES Y COMPUESTAS:
Las proposiciones son simples son aquellas que no tienen operador lógico, las
compuestas tienen operador lógico y más de una proposición.
CONDICIÓN SUFICIENTE:
Se dice que una proposición p es condición suficiente para q; ya que cuando P sea
verdad, será suficiente para que q sea verdad también, Ej.
Si Juan es Guayaquileño entonces Juan es ecuatoriano.
Proposiciones:
P: Juan es Guayaquileño
q: Juan es Ecuatoriano.
En la oración anterior Juan es Guayaquileño es una condición suficiente ya que si la
proposición Juan es Guayaquileño es verdad, automáticamente Juan es Ecuatoriano
también lo es.
CONDICIÓN NECESARIA:
Se dice que una proposición q es una condición necesaria para P; cuando es
necesario que q sea verdad para que P sea verdad.
Si Juan es Guayaquileño entonces Juan es ecuatoriano.
Proposiciones:
P: Juan es Guayaquileño
q: Juan es Ecuatoriano.
En la proposición anterior es necesario que Juan sea ecuatoriano para que sea
Guayaquileño, ya que si Juan no es ecuatoriano entonces no puede ser
Guayaquileño.
7
