PROPOSICIONES LĂ“GICAS.
DisyunciĂłn
a. Proposiciones simples o atĂłmicas Es una proposiciĂłn que no contiene ningĂşn conectivo lĂłgico. Ejemplos: i. 6 es un nĂşmero par. ii. 2 + 5 = 7 iii. iv.
Condicional material
Bicondicional Tablas de verdad
Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposiciĂłn molecular. Ejemplos: 2 es mayor -2 o -2 es mayor a -4 3 es impar y 6 es un nĂşmero impar
NegaciĂłn
ConjunciĂłn
no y
Ejemplo No estĂĄ lloviendo.
EstĂĄ lloviendo y estĂĄ nublado.
si y sĂłlo si
Si estĂĄ soleado, entonces es de dĂa. EstĂĄ nublado si y sĂłlo si hay nubes visibles.
∨
→
↔ Pågina
Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para saber cuĂĄntas filas deben utilizarse se aplica la formula đ?&#x;?đ?’? donde “đ?&#x;?â€? representa los dos posibles valores que puede tomar y “đ?’?â€? es el nĂşmero de proposiciones de la formula.
CONECTIVOS LĂ“GICOS.
Conectivo
si... entonces
EstĂĄ lloviendo o estĂĄ soleado.
Son un instrumento empleado en la lĂłgica proposicional, para indicar las diferentes interpretaciones de una fĂłrmula y el resultado de las mismas. Representan de manera grĂĄfica todas las posibles combinaciones de los valores de verdad que se formen de las proposiciones.
b. Proposiciones compuestas o moleculares Es una proposiciĂłn que contiene al menos un conectivo lĂłgico. Ejemplos: i. 6 es un nĂşmero par y 3 es un nĂşmero impar. ii. 2 + 5 = 7 o 3 + 4 = 7 iii. iv.
ExpresiĂłn en el lenguaje natural
o
Ejemplo:
SĂmbolo ~ ∧
1