Ejemplos De Tablas De Verdad
Algunos ejemplos de formalización y tablas de verdad3) O mientes y pecas, o dices la verdad y no pecas p= mientes q= pecas r= dices la verdad Formalización: (p ∧ q) ∨ (r ∧ ¬p) p 1 1 1 1 0 0 q 1 1 0 0 1 1 r 1 0 1 0 1 0 ¬p 0 0 0 0 1 1 p∧q 1 1 0 0 0 00 0 r ∧ ¬p 0 0 0 0 1 0 1 0 (p ∧ q) ∨ (r ∧ ¬p) 1 1 0 0 1 0 1 0
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= venir aclase q= aprobar el curso Formalización: (q → p) → (¬p → ¬q)
p q ¬p ¬q q→p ¬p → ¬q (q→p) → (¬p →¬q)
1 1 1 0 0 1 0 0
0 0 1 1
0 1 0 1
1 1 0 1
1 1 0 1
1 1 1 1
Felipe Garrido Bernabeu- I.E.S. La Foia - Ibi (Alicante) - http://antesdelascenizas.com 1
Felipe Garrido Bernabeu - I.E.S. La Foia - Ibi (Alicante) - http://antesdelascenizas.com 2
Algunos ejemplos de formalización ytablas de verdad
Algunos ejemplos de formalización y tablas de verdad
5) Si estás en Alicante y no estás en Alicante a la vez, entonces dos y dos son cinco. p= Estás en Alicante q= dos y dosson cinco Formalización: (p ∧ ¬p) → q
7) Es verdad que si viajas mucho entonces aprendes, pero has viajado mucho y no has aprendido. p= viajas mucho q= aprendes Formalización: (p → q) ∧ (p ∧ ¬q)...
Regístrate para leer el documento completo.