Professional Documents
Culture Documents
Toribio Román
Tenemos las siguientes operaciones para las proposiciones lógicas, de cada una de ellas se
puede construir su tabla de verdad.
P q
V V
V F
F V
F F
no p o no es cierto que p
~ Negación
pyq
∧ Conjunción o producto lógico
p o q (en sentido incluyente)
∨ Disyunción o suma lógica
p implica q, o si p entonces
⇒ Implicación q
La Negación
La operación unitaria de negación, no es cierto que se representa por “¬” y tiene la siguiente tabla de
verdad de verdad
p ¬p
V F
F V
Conjunción
p q p∧q
V V V
V F F
F V F
F F F
La tabla que define esta operación, establece que la conjunción es verdadera sólo si lo son las dos
proposiciones componentes. En todo otro caso, es falsa.
Vemos que está compuesta de dos proposiciones a las que llamaremos p y q, que son
p: 5 es un número impar
q: 6 es un número par
Por ser ambas verdaderas, la conjunción de ellas (que no es sino la declaración i) es verdadera.
Disyunción
p q p∨q
V V V
V F V
F V V
F F F
Implicación o Condicional
p q p⇒q
V V V
V F F
F V V
F F V
p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o falsedad de la implicación i), en relación a la verdad o falsedad de las
proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y podemos
asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir si no apruebo el
examen, quedo liberado del compromiso y preste o no el apunte la implicación es verdadera.
Doble implicación de las proposiciones p y q es la proposición p q (se lee "p si y sólo si q") cuya tabla de
valores de verdad es:
MATEMATICA BÁSICA Mg.Sc. Fernando M. Toribio Román
p q p⇔q
V V V
V F F
F V F
F F V
La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo valor de
verdad.
Actividad:
Construya las tablas de verdad con los otros conectivos lógicos y para cada una saque Ud. una
conclusión.
Recuerde que según el número de proposiciones tendremos 2n combinaciones posibles con los cuales se
construye la tabla de verdad.
Ejercicios:
i) (p → ¬q) v (¬p v r)
ii) p → (q ^ r)
iii) (p → ¬ r) ↔ (q v p)
iv) ¬(p ¬ q) → ¬ r
v) (¬p ^ q) → ¬(q v ¬r)
La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un
interruptor.
y para p, si es V, se tiene: p
Podemos, así, representar las operaciones proposicionales mediante circuitos con tantos interruptores
como proposiciones componentes, combinados en serie o paralelamente.
MATEMATICA BÁSICA Mg.Sc. Fernando M. Toribio Román
Ejercicios
1. Sean P, Q, R y S fórmulas. Si se sabe únicamente que P es verdadero, ¿Qué puede afirmarse del
valor de verdad de cada una las proposiciones siguientes?
• P∧Q R→P S →¬ P
• R∨ P P →Q R→ (S→ P)
• R∧P P→P∨S P ∨ S → (Q ∧ ¬ P)
2. ¿Qué puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?
• Si P es falsa.
• Si P es falsa, Q es verdadera y R es verdadera.
• P ∧Q →P ∧R (P → Q ) → ( ¬ Θ → P )
• P →P ∧Q (P ↔ Q) ∧ (P ∧ ¬ Q)
• P ∧ ¬ (Q ∨ P) P ∧ ¬ ((P ∨ Q) ∨ R)
• (P → (Q ∨ ¬ P)) → ¬ Q P ∨ (¬ P ∨ R)