Logica:tablas de verdad
Un método sencillo de analizar los valores de certeza de proposiciones, es el de poner todas las posibilidades de certeza o falsedad en forma de una tabla. Todas las reglas de certeza funcional que se utilizan para proposiciones moleculares pueden resumirse en forma de tabla. Las tablas básicas de certeza indican si una proposición molecular es cierta o falsa si se conocen los valores de certeza o falsedad de las proposiciones que la forman.
Notaremos con f el valor de verdad falso de una proposición, y con v el valor de verdad verdadero de una proposición.
Fundamentalmente en las tablas de verdad se colocan los valores de verdad de enunciados simples, es decir aquellos que no han sido enlazados en fórmulas …ver más…
4.- Además, observa que en la columna de q se anotó primero, una verdadera, luego una falsa, después una verdadera y, finalmente, una falsa, y que en la columna correspondiente a p, tenemos anotados dos verdaderos y dos falsas.
5.- se puede comprobar si la combinación de los valores de verdad es correcta si en la tabla p y q comienzan con verdaderas y terminan en falsas.
6.- para mas de tres proposiciones, es conveniente utilizar la formula “2”, donde n es el número de proposiciones simples.
a) 21 = 2 combinaciones b) 22 = 4 combinaciones p V
F
p q
V V
V F
F V
F F
(2=2) (2x2 = 4)
c) 23 = 8 combinaciones d) 24 = 16 combinaciones (2x2x2 =8) (2x2x2x2 = 16)
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F p q r
V V V
V V F
V V V
V V F v F V v F F v F V v F F
F V V
F V F
F V V
F V F
F F V
F F F
F F V
F F F
7.- Ahora pasaremos a la elaboración de un argumento. Pongamos por ejemplo (p˄q)
Como dicho argumento solo tiene dos proposiciones simples, p y q, serán solo