Lógica

Tablas

Tabla de verdad de la conjunción de las propiedades P (x) y Q(x)

P (x) Q(x) P (x) ∧ Q(x)

V V V
V F F
F V F
F F F

Tabla de verdad de la disyunción inclusiva de las propiedades P (x) y Q(x):

P (x) Q(x) P (x) ∨ Q(x)

V V V
V F V
F V V
F F F

Tabla de verdad de la disyunción exclusiva de las propiedades P (x) y Q(x)

P (x) Q(x) P (x) Y Q(x)

V V F
V F V
F V V
F F F

La tabla de verdad de la negación de P (x)

P (x) ¬P (x) P (x) ∧ ¬P (x)

V F F
F V F

Tabla de verdad de la implicación de P (x) y Q(x)

P (x) Q(x) ¬Q(x) P (x) ∧ ¬Q(x) ¬ (P (x) ∧ ¬Q(x)) P (x) =⇒ Q(x)

V V F F V V
V F V V F F
F V F F V V
F F V F V V

P (x) Q(x) P (x) =⇒ Q(x) Q(x) =⇒ P (x) P (x) =⇒ Q(x) ∧ Q(x) =⇒ P (x) P (x) ⇐⇒ Q(x)
V V V V V V
V F F V F F
F V V F F F
F F V V V V