Tema: tablas de certeza (tablas de verdad)

Objetivo: aplicar las tablas de certeza en el desarrollo de estructuras lógicas.

Tablas de certeza
1. Conjunción
Operador lógico: ∧ (“y”)

P=”Hoy es martes”
Q=”Hace sol”

P ∧Q=Hoy es martes y hace sol

P Q P ∧Q
C C C
C F F
F C F
F F F

2. Disyunción

Operador lógico: ∨ (“o”)

P=”Hoy es martes”
Q=”Hace sol”

P ∨Q=Hoy es martes o hace sol

P Q P ∨Q
C C C
C F C
F C C
F F F

3. Condicional

Operador lógico: → (“si…entonces”)

P= ”Hoy es martes” (Antecedente)

Q= ”Hace sol” (Consecuente)
P →Q :Si h oy es martes entonces hace sol

P Q P →Q
C C C
C F F
 F C C
F F C

4. Bicondicional (doble condicional)

Operador lógico: ↔ (“si y solo si”)

P= ”Hoy es martes”
Q= ”Hace sol”

P ↔Q=H oy es martes si y solo sihace sol

P ↔Q
P →Q
Q→P

P Q P ↔Q
C C C
C F F
F C F
F F C

5. Negación

Operador lógico: ∼ , ¬(“no”)

P= ”Hoy es martes”
¬ P=H oy no es martes

P ¬P
C F
F C

Operación Conector lógico Proposición lógica

lógica
Negación ℸ No
Conjunción ∧ Y
Disyunción ∨ O
Condicional → Si…entonces
Bicondicional ↔ Si y solo si
Tautologías

Contradicción: si y solo si permanece falsa para todas las combinaciones de asignaciones de

certeza.

Ejemplo: Determine si las siguientes proposiciones son tautologías o contradicciones:

No. Combinaciones=2 No . proposiciones

1.

No. Combinaciones=22=4

P Q P→ ℸQ ℸQ ∧( P → Q) ℸP ( ℸQ ∧ ( P →Q ) ) → ℸP
Q
C C C F F F C
C F F C F F C
F C C F F C C
F F C C C C C

2.

No. Combinaciones=2 No . proposiciones

No. Combinaciones=23=8
p q R p ∨q p →r q → r ( p ∨q) ∧( p → r()( p ∨ q)∧( p →r ) ∧(q →r
( ( p))∨q ) ∧ ( p → r ) ∧ ( q → r ) ) → r
C C C C C C C C C
C C F C F F F F C
C F C C C C C C C
C F F C F C F F C
F C C C C C C C C
F C F C C F C F C
F F C F C C F F C
F F F F C C F F C
La proposición es una tautología

3.

p q r q→r ℸ(q → r ) p →q ℸ(q → r )∧ r ℸ(q → r )∧ r ∧( p → q)

C C C C F C F F
C C F F C C F F
C F C C F F F F
C F F C F F F F
F C C C F C F F
F C F F C C F F
F F C C F C F F
F F F C F C F F

La proposición es una contradicción

p ↔q ≅ q ↔ p
p →q ≢ q → p

Equivalencia lógica

Ejemplo: determinar si las siguientes proposiciones tienen equivalencia lógica.

a) P ∨ ℸQ → ℸP (1)

P → ℸP ∧Q (2)
 (1) (2)

Q ℸQ P ∨ ℸQ ℸP P ∨ ℸQ → ℸP ℸP ∧Q P → ℸP ∧Q
P
C C F C F F F F
C F C C F F F F
F C F F C C C C
F F C C C C F C
Las proposiciones son lógicamente equivalentes

P ∨ ℸQ → ℸP ≡ P → ℸP ∧Q
Orden de los conectores: ℸ ,∧ , ∨, → ,↔

Ejemplo 2: x=1 ∨ x ≮ 3 (1)

ℸ(x <3 ∧ x=1) (2)

P : x=1
Q : x<3
Simbólicamente

P ∨ ℸQ (1)

ℸ(Q ∧ P) (2)

(1) (2)

P Q ℸQ P ∨ ℸQ Q ∧ P ℸ(Q ∧ P)
C C F C C F
C F C C F C
F C F F F C
F F C C F C

Las proposiciones no son lógicamente equivalentes.

P ∨ ℸQ ≢ ℸ(Q ∧ P)

c)

A B C
C C C
C C F
C F C
C F F
F C C
F C F
F F C
F F F