Conectores Lógicos en Proposiciones

Condicional Verdadero

• Falso implica verdadero

• Verdadero implica falso

• Falso implica falso

• Verdadero implica verdadero

Negación Falsa

• Opuesto del valor original es falso

• El valor original es verdadero

• El valor original es incierto

• El valor original es irrelevante

Conjunción

• Y (∧)

• O (∨)

• NO (¬)

• Si (→)

Disyunción

• A (∧)

• O (∨)

• X (⊕)

• N (¬)

Disyunción Exclusiva

• Solo uno verdadero (⊕)

• Todos verdaderos (∧)

• Ninguno verdadero (¬)

• Al menos uno verdadero (∨)

Negación

• No (¬)

• Sí (+)

• Tal vez (±)

• Siempre (∞)

Condicional Verdadero

• Si A entonces B, A verdadero implica B verdadero

• Si A entonces B, A falso implica B verdadero

• Si A entonces B, A verdadero implica B falso

• Si A entonces B, A falso implica B falso

Negación Verdadera

• Opuesto del valor original

• Valor idéntico

• Valor absoluto

• Valor inverso

Bicondicional Verdadero

• Ambos valores iguales

• Valores diferentes

• Uno verdadero y otro falso

• Ambos valores falsos

Condicional

• Si...entonces (→)

• Cuando...entonces (→)

• Si...pero (→)

• Si...o (→)