Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica...
Transcript of Tablas de verdad en lógica proposicional - uah.es · Title: Tablas de verdad en lógica...
![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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/1.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/2.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/3.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/4.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/5.jpg)
![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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/6.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/7.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/8.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/9.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/10.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/11.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/12.jpg)
![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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/13.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/14.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/15.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/16.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/17.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/18.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/19.jpg)
![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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/20.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/21.jpg)
![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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/22.jpg)
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](https://reader031.fdocuments.net/reader031/viewer/2022021620/5bde7a1209d3f2545f8cd9aa/html5/thumbnails/23.jpg)