LÓGICA PROPOSICIONAL FORMALIZACIÓN DEL LENGUAJE NATURAL RESOLUCIÓN DE TABLAS DE VERDAD.
Tablas de verdad
-
Upload
howard-delaney -
Category
Documents
-
view
64 -
download
0
description
Transcript of Tablas de verdad
![Page 1: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/1.jpg)
Tablas de verdadUna tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
![Page 2: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/2.jpg)
Estas tablas de verdad indican rápidamente si una preposición es cierta o falsa si se conoce la veracidad o la falsedad de las preposiciones que las componen
![Page 3: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/3.jpg)
Forma de construcción de una tabla de verdad• La formula para el calculo es 2n
donde :
2 = representa los valores de certeza
( V y F )
n= numero de preposiciones
![Page 4: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/4.jpg)
(p → ¬q) v (¬p v r)
![Page 5: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/5.jpg)
1 2 3 4 5 6 7 8
p q r ¬ q ¬ p p → ¬q ¬p v r (p → ¬q) v (¬p v r)
V V V F F F V V
V V F F F F F F
V F V V F V V V
V F F V F V F V
F V V F V V V V
F V F F V V V V
F F V V V V V V
F F F V V V V V
![Page 6: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/6.jpg)
TAUTOLOGIA
Una posición es molecular es una tautología solo si el resultado de la columna final , independientemente de los valores de certeza de sus preposiciones que la componen son siempre verdaderas.
![Page 7: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/7.jpg)
‘(p ^ q) → (p r)∨ ’
p q r ¬ r p q∧ p ¬ r∨ (p q) → (p ∧ ∨¬ r)
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V
![Page 8: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/8.jpg)
CONTRADICCION
Una preposición es una contradicción , si y solo si , ella es siempre falsa no importa cuales sean los valores de verdad de sus componenetes
![Page 9: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/9.jpg)
CONTINGENCIA
Una formula proporcional es una contingencia , si y solo si , ella es verdadera y falsa , no importa cuales sean los valores de verdad de sus componentes , ni en que preposición .
![Page 10: Tablas de verdad](https://reader036.fdocuments.es/reader036/viewer/2022082711/56812e39550346895d93a86f/html5/thumbnails/10.jpg)