Conceptos Básicos
Conceptos Básicos
Conceptos Básicos
PROPOSICIONAL
Elaborada por el Prof.: Guillermo Arraiz.
LÓGICA PROPOSICIONAL: Es una ciencia que utiliza el lenguaje simbólico y el
método deductivo, que tiene como finalidad determinar la validez o no de una
proposición. Por lo tanto, Su objeto es determinar el valor de verdad de una
proposición, por lo que:
1. Proposición atómica o simple: Son aquellas que contienen una (1) sola
información, por lo que, están asociadas a una única variable
proposicional.
Si observamos se trata de una única información, por lo que se asigna una sola
variable proposicional que en este caso es “p”.
1. Conjunción:
Simbología:
Significados: Y, Además, También, Pero. Y en ocasiones puntos y seguido.
Ejemplos:
Simbolización: ( p q)
Simbolización: ( r s )
2. Disyunción:
Simbología:
Significado: O (Es el único que tiene).
Ejemplo:
Simbolización: ( p q )
3. Condicional: Relacionado con las relaciones causa – efecto.
Simbología:
Significados: Entonces; Por lo tanto; En consecuencia; Luego; Si…,
entonces; si…. ,
Ejemplos:
Simbolización: ( p q )
Simbolización: (r s)
Nota: En este segundo ejemplo, el “si” y la “coma (,)” (ambos en color verde)
representan al condicional. Nótese además que la flecha será colocada en el lugar
de la coma, ya que al ser un conector debe estar en el medio de ambas variables
proposicionales. Igual ocurrirá cuando se tenga un “Si…, entonces”.
4. Bicondicional:
Simbología:
Significados: Si y solo si; Solamente si; Solo si; Cuando y solo cuando.
Ejemplo:
Simbolización: ( p q )
5. Operador Negación: Se considera un operador, no un conector. Este
operador además tiene la capacidad de alterar el valor de verdad de una
proposición, es decir, lo que es verdadero camba a falso o viceversa.
Simbología: ~
Significados: No; No es cierto que; No sucede que; No pasa que;
Tampoco; Nunca; Jamás.
Ejemplos:
Simbolización: ~ p
Simbolización: ~ (r s )
Ejercicios Propuestos:
a. ( p q)
b. ( p q)
c. (~ p q )
d. ( p ~ q )
e. (~ p ~ q)
f. (~ p ~ q)
g. ( p ~ q )
h. (~ p q )
i. ( p q)
j. ( p q)