CONDICIONAL a->b

Sea a y b preposiciones la condicional entre a y b representada simbólicamente por a->b, es una nueva preposición cuyo valor de verdad esta dado por la siguiente tabla

 

 

a	b	a->b
0	0	1
0	1	1
1	0	0
1	1	1

 

este operador lógico se denomina enunciación hipotética o implicación. en la preposición a y b, a es el antecedente, hipótesis o premisa; b es el consecuente conclusión o tesis. la preposición resultante será falsa solamente cuando el valor de verdad sea verdadero y el consecuente sea falso.

en términos gramaticales, se puede encontrar esta preposición como: si a, entonces b, a solo sí b, a solamente si b, b con la condición de que a, b cuando a, b siempre que a, b cada vez que a, b debido a que a, b puesto que a, b porque a, se tiene b si se tiene a.

 

Ejemplo:

 

a) Juan Gana el concurso

b) Juan dona 10.000$

 

Juan gana el concurso, entonces Juan dona 10.000$

Juan dona 10.000$ solo si Juan gana el concurso.

 

-Reciproca: b->a

-Inversa: 7a->7b

-Contra recíproca: 7b->7a

 

Ejemplo:

          

“si es un carro, entonces es un medio de transporte”

 

Reciproca: Si es un medio de transporte, entonces es un carro.

Inversa: Si no es un carro, entonces no es un medio de transporte.

Contra reciproca: si no es un medio de transporte, entonces no es un carro.