Latin

Algunos ejemplos de formalización y tablas de verdad

Algunos ejemplos de formalización y tablas de verdad

1) Si compras todos los productos que quieres, entonces, o bien eres rico, o bien noquieres muchas
cosas.

3) O mientes y pecas, o dices la verdad y no pecas

p= Compras todos los productos que quieres
q= Eres rico
r= quieres muchas cosas

p= mientes
q= pecas
r= dices laverdad

Formalización: p → (q ∨ ¬r)

Formalización: (p ∧ q) ∨ (r ∧ ¬p)

p

q

r

¬r

q ∨ ¬r

p → (q ∨ ¬r)

p

q

r

¬p

p∧q

r ∧ ¬p

(p ∧ q) ∨ (r ∧ ¬p)

1

1

1

01

1

1

1

1

0

1

0

1

1

1

0

1

1

1

1

1

0

0

1

0

1

1

0

1

0

0

0

1

0

1

0

0

0

0

1

0

0

1

11

1

0

0

0

0

0

0

0

1

1

0

1

1

0

1

1

1

0

1

1

0

1

0

1

1

1

0

1

0

1

0

0

0

0

0

1

0

0

10

0

1

1

0

1

1

0

0

0

1

1

1
0

0

0

1

0

0

0

2) O bien es cierto que si compras todos los productos que quieres, entonces eres rico, o bien noquieres
muchas cosas.

4) Si venir a clase es una condición necesaria para aprobar el curso entonces, si no vengo a clase no
aprobaré el curso.

p= Compras todos los productos que quieres
q= Eresrico
r= quieres muchas cosas

p= venir a clase
q= aprobar el curso

(p → q) ∨ ¬r

Formalización: (q → p) → (¬p → ¬q)
q

¬p

¬q

q→p

¬p → ¬q

(q→p) → (¬p →¬q)

1

11

0

01

1

1

1

10

0

1

1

1

1

01

1

0

0

0

1

00

1

1

1

1

1

p

q

r

¬r

p→q

(p → q) ∨ ¬r

1

1

1

0

1

1

1

0

11

1

0

1

0

0

0

1

0

0

1

0

1

0

1

1

0

1

1

0

1

0

1

1

1

0

0

1

0

1

1

0

0

0

1

1

1

Felipe...