Funciones de verdad

P y Q ejemplificarán proposiciones verdaderas; mientras que R y S, proposiciones falsas.

(P) ‘El 2 de noviembre se celebra el Día de Muertos’

(Q) ‘Dante Aligheri escribió La Divina Comedia’
(R) ‘Cristobal Colón fue el primer hombre en pisar la Luna’
(S) ‘William Shakespeare fue un matemático griego’

Conjunción (∧) es una función

∧: {〈X, Y〉 | X y Y son proposiciones} → {verdadero, falso}

que asocia a cada par 〈X, Y〉 el valor verdadero si y sólo si ambos, X y Y, son verdaderos.

A B
∧ X Y X∧Y
〈P, Q〉
V V V
〈P, R〉 verdadero
V F F
〈S, Q〉 falso
F V F
〈S, R〉
F F F

Disyunción (∨) es una función

∨: {〈X, Y〉 | X y Y son proposiciones} → {verdadero, falso}

que asocia a cada par 〈X, Y〉 el valor verdadero si y sólo si al menos uno, ya sea X o Y, es verdadero.

A B
∨ X Y X∨Y
〈P, Q〉
V V V
〈P, R〉 verdadero
V F V
〈S, Q〉 falso
F V V
〈S, R〉
F F F
Bicondicional (↔) es una función

↔: {〈X, Y〉 | X y Y son proposiciones} → {verdadero, falso}

que asocia a cada par 〈X, Y〉 el valor verdadero si y sólo si X y Y tienen el mismo valor de verdad.

A B
↔ X Y X↔Y
〈P, Q〉
V V V
〈P, R〉 verdadero
V F F
〈S, Q〉 falso
F V F
〈S, R〉
F F V

Condicional (→) es una función

→: {〈X, Y〉 | X y Y son proposiciones} → {verdadero, falso}

que asocia a cada par 〈X, Y〉 el valor verdadero si y sólo si no sucede que: X es verdadera y Y falsa.

A B
→ X Y X→Y
〈P, Q〉
V V V
〈P, R〉 verdadero
V F F
〈S, Q〉 falso
F V V
〈S, R〉
F F V

Negación (∼) es una función

∼: {X | X es una proposición} → {verdadero, falso}

que asocia a cada proposición el valor de verdad contrario.

C ∼ B
P verdadero X ∼X

R falso V F
F V