Lógica Proposicional
Conectores funcional-veritativos
1_ ~ p No P Negación
2_ p . q P y Q Conjunción
P pero Q
3_ p v q P o Q Disyunción
4_ p --> q Si P Implicación
entonces Q Material
Si P, Q (Condicional)
Q, si P
5_ p <--> q P si y sólo Equivalencia
si Q Material
P implica Q
Ejemplos:
1_ No me dolió.
2_ El sweater es gris y tiene rombos.
3_ Compro la remera o el pantalón.
4_ Si camino bajo la lluvia, me mojo.
5_ Puedo comprar un chocolate si y sólo si tengo la cantidad necesaria de dinero.
1_ ~ p 2 elevado a la n = 2 elevado a la 1 = 2
______ (n = cantidad de proposiciones atómicas)
F V
V F
Negación: cambia el valor de verdad de la proposición atómica.
2_ p . q 2 elevado a la 2 = 4
_______
V V V
V F F
F F V
F F F
Conjunción: es verdadera cuando los dos conjuntos son verdaderos y falsa en todo otro caso.
3_ p v q 2 elevado a la 2 = 4
__________
V V V
V V F
F V V
F F F
Disyunción inclusiva: es falsa cuando los dos disyuntos son falsos y es verdadera en los otros casos.
4_ p --> q 2 elevado a la 2 = 4
____________
V V V
V F F
F V V
F V F
Implicación Material: no se da el caso de que el antecedente sea verdadero y el consecuente falso.
5_ p <--> q
_____________
V V V
V F F
F F V
F V F
Equivalencia Material: es verdadera cuando los valores de verdad de las proposiciones son iguales y falsa en caso contrario.
No hay comentarios:
Publicar un comentario