tablas de verdad en lógica proposicional - uah.es · title: tablas de verdad en lógica...

23
Tablas de verdad en l´ ogica proposicional

Upload: hahanh

Post on 04-Nov-2018

238 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Tablas de verdad en logica proposicional

Page 2: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Negacion

p ¬p

————————–

1

0

Page 3: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Negacion

p ¬p

————————–

1 0

0

Page 4: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Negacion

p ¬p

————————–

1 0

0 1

Page 5: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012
Page 6: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1

1

0

0

Page 7: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1 1

1 0

0 1

0 0

Page 8: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1 1 1

1 0

0 1

0 0

Page 9: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1 1 1

1 0 0

0 1

0 0

Page 10: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1 1 1

1 0 0

0 1 0

0 0

Page 11: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Conjuncion

p q p ∧ q

——————————

1 1 1

1 0 0

0 1 0

0 0 0

Page 12: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012
Page 13: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1

1

0

0

Page 14: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1 1

1 0

0 1

0 0

Page 15: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1 1 1

1 0

0 1

0 0

Page 16: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1 1 1

1 0 1

0 1

0 0

Page 17: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1 1 1

1 0 1

0 1 1

0 0

Page 18: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Disyuncion

p q p ∨ q

——————————

1 1 1

1 0 1

0 1 1

0 0 0

Page 19: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012
Page 20: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Condicional

p q p → q

——————————

1 1 1

1 0 0

0 1 1

0 0 1

Page 21: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012
Page 22: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012

Bicondicional

p q p ↔ q

——————————

1 1 1

1 0 0

0 1 0

0 0 1

Page 23: Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica proposicional Created Date: Sat Sep 22 11:25:44 2012