Curso: Matemtica

Grado: 4 ao de Secundaria

Tema #

Fecha:

Tema: Lgica Proposicional

OPERACIONES PROPOSICIONALES: TABLAS DE VERDAD

Definiremos las operaciones entre proposiciones en el sentido

siguiente: dadas dos o ms proposiciones, de las que se conoce los
valores veritativos, se trata de caracterizar la proposicin resultante a
travs de su valor de verdad.

1. NEGACIN
Dada una proposicin p, se denomina la negacin de p a otra proposicin
denotada por ~p (se lee "no p") que le asigna el valor veritativo opuesto al de p.
Por ejemplo:
p : Diego estudia matemtica.
~p : Diego no estudia matemtica.
Por lo que nos resulta sencillo construir su tabla de verdad:
p

~p

2. CONJUNCIN
Dadas dos proposiciones p y q, se denomina conjuncin de estas proposiciones a
la proposicin p q (se lee "p y q")
Ejemplo.
Sea la declaracin: 5 es un nmero impar y 6 es un nmero par
p
q
Vemos que est compuesta de dos proposiciones a las que llamaremos p y q, que
son:
p: 5 es un nmero impar
q: 6 es un nmero par
Y por ser ambas verdaderas, la conjuncin de ellas (que no es sino la declaracin)
es verdadera.
Tabla de verdad

p q

V
V
F
F

V
F
V
F

V
F
F
F

La tabla que define esta operacin, establece que la conjuncin es verdadera slo
si lo son las dos proposiciones componentes. En todo otro caso, es falsa.
Por ser ambas verdaderas la conjuncin de ellas es verdadera
3. DISYUNCIN

Dadas dos proposiciones p yq, la disyuncin de las proposiciones p y q es la

proposicin p q, se lee p o q
Ejemplo:Tiro las cosas viejas o que no me sirven
p

q
Tabla de verdad
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

Por ser al menos una de las proposiciones verdadera la conjuncin es verdadera

4. IMPLICACIN O CONDICIONAL
Implicacin de las proposiciones p y q es la proposicin p q (si p entonces q).
La proposicin p se llama antecedente, y la proposicin q se llama consecuente
de la implicacin o condicional.
Ejemplo:

Si apruebo, entonces te presto el libro

p

q
La implicacin est compuesta de las proposiciones:
p: apruebo
q: te presto el libro
Tabla de verdad
p

p q

V
V
F
F

V
F
V
F

V
F
V
V

La tabla nos muestra que la implicacin slo es falsa si el antecedente es

verdadero y el consecuente es falso.

5. DOBLE IMPLICACIN O BICONDICIONAL

Doble implicacin de las proposiciones p y q es la proposicin p q (se lee "p si y
slo si q")
Ejemplo:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Entonces:

p
q :Karina ingresa a la universidad si y slo si estudia mucho.
Esta doble implicacin es falsa si p es F y q es V. En los dems casos es V.
Tabla de verdad
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
V

La doble implicacin o bicondicional slo es verdadera si ambas proposiciones

tienen el mismo valor de verdad.
6. Diferencia Simtrica
Diferencia simtrica o disyuncin en sentido excluyente de las proposiciones p y q
es la proposicin p q (se lee "p o q en sentido excluyente") cuya tabla de valores
de verdad es:
p q
p
q
V
V
F
F

V
F
V
F

F
V
V
F

La verdad de p q est caracterizada por la verdad de una y slo una de las

proposiciones componentes.
Ejemplo:

O vamos a Lima o vamos a Ica

Queda claro que slo podremos ir a uno de los dos lugares, y slo a uno. Es decir
que el enunciado es verdadero slo si vamos a una de las dos ciudades. En caso
de ir a ambas, o de no ir a ninguna, el enunciado es Falso.

Evala las siguientes frmulas e indica si son tautolgicas, contradicciones o

contingencias:
a)

( p q ) p

b)

p ( q q )

c)

( p q ) q

d)

( p q ) q

e)

( p q) r

f)

( p q) r