1. Tablas de verdad
1.1. Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores que se pueda asignar a sus componentes.
2. La conjunción es un operador que se usa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad “verdadero” cuando ambas proposiciones son verdaderas, y “falso” en cualquier otro caso.
2.1. Negación
2.1.1. La negación es un operador que se usa sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
2.1.1.1. ~
2.2. Conjunción
2.2.1. La conjunción es un operador que se usa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad “verdadero” cuando ambas proposiciones son verdaderas, y “falso” en cualquier otro caso.
2.2.1.1. ⋀
2.3. Disyunción
2.3.1. La disyunción es un operador que se usa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad ”verdadero” cuando una de las proposiciones es verdadera, o cuando ambas lo son, y ”falso” cuando ambas son falsas.
2.3.1.1. V
2.4. Implicación o Condicional
2.4.1. El condicional material es un operador que se usa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad “falso” sólo cuando la primera proposición es verdadera y la segunda falsa, y “verdadero” en cualquier otro caso.
2.4.1.1. →
2.5. Bicondicional
2.5.1. El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad “verdadero” cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
2.5.1.1. ↔
3. Lo
4. Proposiciones Lógicas
4.1. Una proposición es un enunciado que puede ser verdadero o falso pero nunca ambos a la vez. Si un enunciado es verdadero es una proposición.
4.1.1. Verdadera
4.1.2. Falsa