Sei sulla pagina 1di 5

MATEMATICA BÁSICA Mg.Sc. Fernando M.

Toribio Román

SEMANA 2. TABLAS DE VERDAD

Objetivo: Usar las tablas de verdad en la solución de ejercicios de la lógica

Tenemos las siguientes operaciones para las proposiciones lógicas, de cada una de ellas se
puede construir su tabla de verdad.

Si tenemos dos proposiciones p y q tendremos su tabla de verdad:

P q
V V
V F
F V
F F

Símbolo Operación asociada Significado

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

⇔ Doble implicación p si y sólo si q

∨ Diferencia simétrica p o q (en sentido


excluyente)

Por ejemplo podemos construir las siguientes tabla de verdad:

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

Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la proposición p q (se


lee "p y q"), cuya tabla 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 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.

Ejemplo: Sea la declaración:

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

Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la proposición p q cuya tabla


de valor de verdad es:

p q p∨q

V V V

V F V

F V V

F F F

La disyunción o es utilizada en sentido excluyente, ya que la verdad de la disyunción se da en el caso de


que al menos una de las proposiciones sea verdadera.

Implicación o Condicional

Implicación de las proposiciones p y q es la proposición p q (si p entonces 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 V

F F V

La proposición p se llama antecedente, y la proposición q se llama consecuente de la implicación o


condicional. La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el
consecuente es falso.

Ejemplo: Supongamos la implicación

La implicación está compuesta de las proposiciones

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.

Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple y la


proposición i) es falsa. Si p y q son verdaderas, entonces la proposición i) es verdadera pues el
compromiso se cumple.

Ejemplo: 1 = –1 1² = (–1)² (F)

La proposición resulta ser falsa por ser el antecedente (1 = –1) falso.

Doble Implicación o Bicondicional

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:

Construya la tabla de verdad de las siguientes expresiones lógicas:

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)

Circuitos lógicos o booleanas

La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con un
interruptor.

Así, para representar a p, si es F, se tiene: p

y para p, si es V, se tiene: p

Es decir, el interruptor se cierra si p es V y se abre si p es F.

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

Tabla de verdad de la conjunción


Tabla de verdad de la disyunció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.

3. Sean P, Q y R fórmulas, entonces:

• Si R ∨ P → Q ∧ P es falsa y P es falsa; ¿Qué puede afirmarse de


R y de Q?.
• Si Q ⇒ Q ∧ P es verdadera y P es falsa; ¿Qué puede afirmarse
de Q?.
• Si R ∧ P ⇒ Q ∧ P es falsa; ¿Qué puede afirmarse de P, Q y R?.
• Si (Q ∨ R) → (P ∧ Q) ∨ R es falsa; ¿Qué puede afirmarse de P, Q
y R?.
• Si (P ⇒ Q) ⇒ ( R ∨ P ⇒ R ∨ Q) es verdadera; ¿Qué puede
afirmarse de P, Q y R?

4. Sean P, Q y R fórmulas. Determinar cuales de las siguientes proposiciones son tautologías:

• 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)