Page 7 - Lógica Proposicional
P. 7
CONDICIONAL
Se la representa con el símbolo (→), se la reconoce por las siguientes expresiones
gramaticales:
“si a entonces b”, “a solo si b”, “a solamente si b”, “si b si a”, “ b con la condición sí
que a”, “ b ya que a”, “b debido a que a”, “b puesto que a”, “b porque a”, “ si tiene b si
se tiene a”, “ solo si b, a”, “a implica b”, “ entonces”.
Su tabla de verdad es la siguiente:
a →
A b b
0 0 1
0 1 1
1 0 0
1 1 1
En la tabla de verdad se puede revisar que si el antecedente es verdadero (1) y el
consecuente es falso (0) entonces el resultado es falso (0), el resto de
combinaciones son verdaderas (1).
BICONDICIONAL:
Se la representa con el símbolo (↔), con las siguientes expresiones gramaticales se
la puede identificar: “a solo y si b”, “a solamente si b”, “ a implica que b y b implica
que a”, “ a cuando si solo cuando b”. Su tabla de verdad es la siguiente:
a ↔
A b b
0 0 1
0 1 0
1 0 0
1 1 1
En la tabla de verdad podemos observar que si el antecedente y el consecuente son
diferentes el resultado es falso (0), en cambio sí son iguales el resultado es
verdadero (1).
6
