La lógica es un método de razonamiento que no acepta conclusiones erróneas. Esto se puede lograr definiendo en forma estricta cada uno de los conceptos. Todo debe definirse de tal forma que no dé lugar a dudas o imprecisiones en la veracidad de su significado
propocicion: Una proposición es una unidad semántica que, o sólo es verdadera o sólo es falsa.
valor de verdad: El valor de verdad de una proposición es la cualidad de veracidad que describe adecuadamente la proposición. Éste puede ser verdadero o falso.
1 verdadero 0 falso
tabla de verdad: Una tabla de verdad es una representación de los posibles valores de verdad que podría tomar una proposición.
b | a a
0 | 0 0
0 | 1 1
1 | 0
1 | 1
operadores lógicos: son conectores entre dos o mas propociciones.
- Negación: 7
- Conjunción:
- Disyunción: v
- Disyunción exclusiva: _v_
- Condicional: ---->
- Bicondicional: <----->
