A Sem 4 Lógica Proposicional
A Sem 4 Lógica Proposicional
A Sem 4 Lógica Proposicional
TEMA 4
ESQUEMA - FORMULARIO
Operación
Símbolo Esquema Lectura
Lógica
∼ Negación ∼p no p
∧ Conjunción p∧q pyq
∨ Disyunción p∨q p q
Disyunción
;↔ p q p q
Exclusiva
Si p
→ Condicional p→q
entonces q
↔ Bicondicional p↔q p si y sólo si q
A. NEGACIÓN
Ejemplo:
No es cierto que Juan sea médico
∼ p
p ∼p
La negación es una proposi-
V F ción cuyo valor es opuesto al
F V de la proposición original.
NOTA:
Las palabras: "no", "no es verdad que", "es falso que", "no ocurre que", "no es el
caso que", .... etc. equivalen al conectivo "∼"
B. CONJUNCIÓN
Ejemplo:
Juan es futbolista y Ana es voleibolista
p ∧ q
p q p∧q
V V V
La conjunción es verdadera solo si
V F F
sus componentes son verdaderas, en
F V F otros casos será falsa.
F F F
Nota:
Las palabras "pero", "sin embargo", "además", "no obstante", "aunque", "a la vez",
"también", etc. equivalen al conectivo "∧".
C. DISYUNCIÓN INCLUSIVA
Ejemplo:
Roberto es contador o Roberto es economista
p ∨ q
p q p∨q
V V V
La disyunción es falsa solo si sus
V F V componentes son falsas, en otros
F V V casos será verdadera.
F F F
D. CONDICIONAL
Ejemplo:
Si me esfuerzo entonces ingresaré
p → q
causa consecuencia
antecedente consecuente
p q p→q
La condicional es falsa
V V V
solo si su antecedente
V F F es verdadero y su conse-
F V V cuente es falso, en otros
F F V casos será verdadero.
Nota:
Las palabras: "porque", "puesto que", "cuando", "si", "cada vez que", etc. equivalen
al conectivo "→".
E. BICONDICIONAL
Ejemplo:
Iré a la fiesta si y sólo si tengo ropa nueva
p ↔ q
p q p↔q
V V V La bicondicional es verdadera
V F F solo si los valores de sus com-
ponentes son iguales en caso
F V F
contrario es falso.
F F V
Nota:
Las palabras: "cuando y solo cuando", "entonces y solamente entonces", etc. equivalen
al conectivo "↔".
F. DISYUNCIÓN EXCLUSIVA
Ejemplo:
O bailas o te sientas
14243 123 1442443
p 9 q
p q p9q
V V F La disyunción exclusiva es ver-
V F V dadera solo si sus componen-
F V V tes tienen valores diferentes,
caso contrario será falso.
F F F
IDEMPOTENCIA ABSORCIÓN
p∧p≡p p ∧ (p ∨ q) ≡ p
p∨p≡p p ∨ (p ∧ q) ≡ p
p ∧ (∼ p ∨ q) ≡ p ∧ q
CONMUTATIVA
p ∨ (∼ p ∧ q) ≡ p ∨ q
p∧q≡q∧p
p∨q≡q∨p BICONDICIONAL
p ↔ q ≡ (p → q) ∧ (q → p)
ASOCIATIVA p↔q≡∼q↔∼p
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r INVOLUCIÓN
(DOBLE NEGACIÓN)
DISTRIBUTIVA ∼ (∼ p) ≡ p
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
COMPLEMENTO
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
p∨∼p≡V
MORGAN p∧∼p≡F
∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
ELEMENTO NEUTRO
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
V∧p≡p
CONDICIONAL F∧p≡F
p→q≡∼p∨q V∨p≡V
p→q≡∼q→∼p F∨p≡p
PROBLEMAS PROPUESTOS
8. Hallar el valor del esquema lógico: C) Hoy es miércoles ya que Juan ve tele-
[∼ (p → ∼ q) ∧ (∼ q ∨ r)] → (p ∨ r) visión.
A) p D) Si hoy es miércoles entonces Juan no
B) Contradicción ve televisión.
C) Contingencia
D) Tautología 10. Determine los valores de su matriz principal
del siguiente esquema molecular:
9. Indicar el equivalente de la proposición: [(p ∧ q) → r] → r
“Si juan trabaja entonces hoy es miércoles, A) VVVFVFVF
pero ve televisión ya que hoy es miércoles. B) VVVFVFVV
En consecuencia hoy no es miércoles.” C) FVFFVFVF
A) Hoy es miércoles y Juan trabaja. D) FVFVFVVV
B) Hoy no es miércoles o Juan ve tele-
visión.