Lógica Proposicional - Teoría
Lógica Proposicional - Teoría
Lógica Proposicional - Teoría
falso que”, “Es mentira que”, “No es verdad Las palabras: “cuando y solo cuando”, “entonces y
que” son utilizados para negar proposiciones solamente entonces”, “es idéntico”, “cada vez
compuestas. que y sólo si”, p es condición necesaria y
2. La Conjunción: “p q” (; . ; ; &) suficiente para que q , etc. equivalen al conectivo
Se lee: “p y q” “”.
Ejemplo:
Albis es médico ⏟
⏟ y ⏟
Milagros es enfermera . TABLA DE VERDAD PARA OPERADORES LÓGICOS
p ¿ q
p q p^ p v p p p pI p↓
Las palabras: q q q q q q q
“pero”, “aunque”, “sin embargo”, “además”, “no
obstante”, “a la vez”, “también”, “así como”, V V V V V V F F F
“tal como”, “incluso”, “tanto .. como”, “al igual
que”, “igualmente”, “así mismo”, etc. equivalen V F F V F F V V F
al conectivo “”.
F V F V V F V V F
3. La Disyunción Inclusiva o Débil: “p q” ( ;
+ ; ) F F F F V V F V V
Se lee: “p o q”
Ejemplo: ESQUEMA MOLECULAR
Junior es ingeniero ⏟
⏟ o Carlos
⏟ es abogado . Es una fórmula lógica que resulta de la
p ¿ q combinación de variables proposicionales, conectivos
Los términos: “a menos que”, “excepto” , “salvo” lógicos y signos de colección.
equivale al conectivo “”. Ejemplos:
A = (p q) (p r) …. Esq. Molecular
4. La Disyunción Exclusiva o Fuerte: ( ; ; ) Conjuntivo
Se lee: “O p o q”
Ejemplo: B = (p q) [(r s) r] … Esq.Molec.
O bien ⏟
Miguel juega o bien ⏟
⏟ estudia . Cond.
p Δ q