1

Lgica Proposicional
Enunciado abierto
Son expresiones que contienen variables y que no tienen propiedad
de ser verdaderos o falsos.
Ejemplo: x+3 = 8 ; El tiene 20 aos
Enunciado:
Es toda frase u oracin que se emite. Algunos enunciados indican
expresiones imperativas, exclamativas, interrogativas; otros en cambio
pueden ser verdaderos o falsos.
Ejemplo:
Qu hora es? , Arriba Per!
La matemtica es fcil. x + 4 = 6
2
Proposicin:
Es toda expresin que tiene la propiedad de ser verdadera o
falsa.
Ejemplo:
Notacin.
Generalmente a las proposiciones se les denota por letras minsculas
tales como: p, q, r, ..
As : P: Luis estudia ; q : Luis trabaja
Juan estudia medicina en la USMP.
2 + 5 = 8
Si estudio matemtica, entonces apruebo el examen.
Mario Vargas Llosa naci en Arequipa.
3
Conectivos lgicos:
p : Luis estudia
q : Luis trabaja
: Luis estudia y trabaja
" ".
Son expresiones que enlazan dos o ms proposiciones Entre estas , se
tiene: o; y ; entonces, implica; si y solo si, etc.
Los conectivos lgicos que usaremos son:
La Conjuncin
Enlaza dos o ms proposiciones con la palabra y, denotado por
Ejemplo:
q p.
4
.
p q p q
V V V
V F F
F V F
F F F
Su tabla de verdad es:
La conjuncin slo es verdadera, cuando las dos
proposiciones son verdaderas
5
La Disyuncin:
Relaciona dos o ms proposiciones con la palabra 0; que se denota
por
Su tabla de verdad es:
v
p q p q
V V V
V F V
F V V
F F F
v
La disyuncin slo es falsa, cuando ambas proposiciones son
falsas.
6
La disyuncin exclusiva o diferencia simtrica
La disyuncin exclusiva, slo admite que es verdadera, si una de las
proposiciones es verdadera y la otra es falsa. Se denota por:
A v por o
v p q p q
V V F
V F V
F V V
F F F
Se lee: p o q pero no ambos
: q p
o es p o es q
p: Vctor Ral naci en Trujillo. q:
Vctor Ral naci en Lima.
o Vctor Ral naci en Trujillo
o en Lima
: q p
7
La negacin:
La negacin de una proposicin p, es otra proposicin , denotado
por ~p, que se lee: no p , o no es cierto que, cuya verdad o
falsedad queda determinada por la siguiente tabla:
p ~p
V F
F V
Ejemplo:
P: Pedro es estudioso
~p: Pedro no es estudioso, o tambin: No es cierto que
Pedro es estudioso

8
El condicional:
En el condicional: p q
p se llama antecedente
q se llama consecuente

Denotado por el smbolo: se lee: Entonces o implica, etc.

Por lo tanto, este conectivo une dos o ms proposiciones con la palabra
entonces
Ejemplo: p: Juan estudia
q: Juan aprueba el examen
p q : Si Juan estudia, entonces aprueba el examen.

9
p q p q
V V V
V F F
F V V
F F V
Su tabla de verdad es:
Nota: En el condicional:
Slo, es falso, cuando el antecedente es verdadero y el consecuente es falso; en
todo los dems casos es verdadero.


p q

10
Al condicional se le asocia tres expresiones lgicas
importantes:
Sea el condicional: pq
La proposicin Recproca es: q p
La proposicin inversa es: ~p ~ q
La Contrarrecproca es: ~q ~p
Construyendo la tabla de verdad, se tiene:
q p p q q p p q
Directo

Rcproco



p q
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Inversa

Contrarecproco

11
El Bicondicional o Doble implicacin
Denotado por: Se lee: S y slo s. Relaciona dos o
ms proposiciones mediante la palabra s y slo si. Su
tabla de verdad es:

q p
p q
V V V
V F F
F V F
F F V
p: Londres est en Inglaterra
q: Pars est en Francia.
Londres est en Inglaterra
si, y solamente si,
Pars est en Francia.
q p
12
Clculo de valores de verdad de frmulas lgicas
Utilizando los conectivos lgicos estudiados, se pueden combinar
cualquier nmero finito de frmulas lgicas para obtener el valor de
verdad de otras expresiones ms complejas.
Tener en cuenta que el nmero de combinaciones de valores de verdad
de una proposicin, est supeditado al nmero de variables o
proposiciones simples que intervienen. Para esto basta aplicar la
frmula: 2
n
, donde n indica el nmero de variables que hay en la
proposicin compuesta.
13

| | q p q p . ) (

p

q
V V F V V F F
V F F V F V V
F V V F F V F
F F V F F F V
Ejemplo:
Construir la tabla de vedad de las siguientes expresiones
lgicas:
| |
| | | | q r p r q p b
q p q p a
. v v .
.
) ( ) ( .)
( .)
Solucin:
| | q p q p a . ( .)
14
| | | | q r p r q p b . v v . ) ( ) ( .)

| | | | q r p r q p . v v . ) ( ) (
p q r
V V V F F V V V V V
V V F F F V V V V V
V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F
15
Proposiciones equivalentes:
Se dice que dos proposiciones son equivalentes, si tienen iguales
valores de verdad.
Ejemplo:

, q p y q p .
Construyendo su tabla de verdad:
q p
p q ~p q
V V V V
V F F F
F V V V
F F V V
Son equivalentes
16
Tautologas, contradicciones y contingencias:
Una expresin proposicional se llama Tautologa, si
los valores de su tabla de verdad todos son verdaderos

Una expresin proposicional se llama Contradiccin,si
los valores de su tabla de verdad, todos son falsos.

Una expresin proposicional se llama Contingencia,
si los valores de su tabla de verdad hay valores
verdaderos y falsos
17
Determinar si el siguiente esquema es tautolgico, consistente o
contradictorio.
p p)] ~ q (~ q) (p [~ v . v

p

q

V V F V V F F F V V
V F F V V V F F V V
F V F V V F F V V F
F F V F V V V V V F
p p)] ~ q (~ q) (p [~ v . v
18
Dada las proposiciones :
p: 18 es un nmero primo
q: 4 es un nmero cuadrado perfecto.
r: 13 es un nmero par
Determinar el valor de verdad del siguiente esquema:
r ~ ] s) ~ (s q) p ~ [( .
r ~ ] s) ~ (s q) p ~ [( .
V(p)= F
V(q)= V
V( r )= F
Solucin:
= V
V V
V
V
V
V
19
INFERENCIA LGICA Y CUANTIFICADORES
La inferencia lgica, llamado tambin razonamiento lgico, es un par ordenado
de la forma:
Donde es un conjunto finito de proposiciones, llamadas premisas y q,
otra proposicin, llamada conclusin.
Es decir, si p
1
, p
2
, p
3
.., p
n
, son proposiciones llamadas premisas y q la
conclusin, entonces la implicacin: Es una tautologa
Por lo tanto:
-Si la implicacin es una tautologa, entonces, se tiene un Argumento vlido.
-Si la implicacin es Falsa, entonces, se tiene una Falacia.
{ }
i
p
{ } ( ) q p
i
,
q p p p p
n
. . . . ) ..... (
3 2 1
20
Ejemplo:
Simbolizando, se tiene:
P: El da est fro.
q: El cielo est nublado. Simbolizando la inferencia
Determinar la validez de la siguiente inferencia:
El da est fro, entonces el cielo est nublado. El da est fro. Por lo
tanto : El cielo est nublado
Solucin:
q
p
q p

21
Desarrollando la tabla de verdad de:
| | q p q p . ) (


p


q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Es una tautologa, por lo tanto, la inferencia es Vlida
22
Principales leyes lgicas o Tautologas:
| |
q q p b
p q p a
cin Simplif ica de Ley
q q p p
Ponens Modus Del Ley
p p
excluido Tercio del Ley
p p
in contradicc de Ley
p p y p p
identidad de
tiene se estas Entre
.
.

)
)
: . 5
) (
: . 4

: . 3
) ( ~
: . 2

: . 1
:
23
Principales Leyes Lgicas
| |
| |
| |
| |
| | p q p q p b
p q q p a
Absurdo del Ley
q q q p
Disyuntivo ismo Si del Ley
r p r q q p
hipottico ismo Si del Ley
q q q p
Tollens Modus de Ley
.
.

. v

.
) ( ) ( )
) ( )
: . 9
) (
: log . 8
) ( ) ( ) (
log . 7
) (
: .. 6
24
Equivalencias Notables
) ( ) ( )
) ( ) ( )
) ( ) ( )
: . 4
)
)
)
: . 3
)
)
: . 2
) (
: ) ( : . 1
r q p r q p c
r q p r q p b
r q p r q p a
Asociativa Ley
p q q p c
p q q p b
p q q p a
a Conmutativ Ley
p p p b
p p p a
ia Idempotenc de Ley
p p
negacin Doble involucin de Ley

v v v v
. . . .

v v
. .

v
.

25
Equivalencias notables:
F p p c
p p b
V q p a
o Complement de Leyes
q p q p b
q p q p a
Morgan D de Ley
r p q p r q p d
r p q p r q p c
r p q p r q p b
r p q p r q p a
vas Distributi Leyes
.

v

v .
. v

v v
. .
v . v . v
. v . v .

)
) ( )
)
: . 7
) ( )
) ( )
: . 6
) ( ) ( ) ( )
) ( ) ( ) ( )
) ( ) ( ) ( )
) ( ) ( ) ( )
: . 5
26
Principales leyes lgicas
q p q p p d q p q p p c
p q p p b p q p p a
Absorsin de Ley
F F p d p F p c
p V p b V V p a
Identidad de Leyes
q p q p q p b
p q q p q p a
nal Bicondicio del Ley
p q q p c
q p q p b
q p q p a
onal delCondici Leyes
v . v . v .
. v v .

= . = v
= . = v

. v .
.

.
v

) ( ) ) ( )
) ( ) ) ( )
: . 11
) )
) )
: . 10
) ( ) ( ) ( )
) ( ) ( ) ( )
: . 9
) ( )
) ( )
)
: . 8
27
Principales leyes lgicas
| | | |
in Contradicc C a Tauto T
C C p d p C p c
T T p b p T p a
Neutros Elementos
r p p p p p r p p p p b
r q p r q p a
n Exportaci de Ley
p q q p b
p q q p a
in Transposic de Ley
n n n
= =
. v
v .

. . . . . .
.

; log
) )
) )
: . 14
) ( ) .... ( ) .... ( )
) ( ) ( )
: . 13
) ( ) ( )
) ( ) ( )
: . 12
3 2 1 3 2 1
28
CUANTIFICADORES
Funcin Proposicional:
Es todo enunciado abierto, que tiene la propiedad de convertirse en una
proposicin al ser sustituido la variable x por una constante especfica. Se les
denota asi:
P(x) ; q(x) ; etc.
Ejemplo:
Sea : p(x): x+5=12 ; donde si reemplazamos x por 3 , la expresin es falsa; si
reemplazamos x por 7, la expresin es verdadera. Esto escribimos asi:
P(3): 3+5=12 es falsa
P(7): 7+5=12 es verdadera.
29
TIPOS DE CUANTIFICADORES
1.- Cuantificador Universal:
Es toda funcin proposicional presedida por el Prefijo Para Todo, que est
denotado por:
As por ejemplo:
Se lee: Para todo x perteneciente a los reales, x
2
es mayor o igual a cero
2.- Cuantificador Existencial
Es toda funcin proposicional presedida por el prefijo Existe algn x, que est
denotado por :

0 :
2
> e x R x
0 8 2 : :
" lg " : :
2
= e -
-
x R x Ejemplo
x n a Existe lee se x
30
Negacin de los Cuantificadores:
Dada una funcin proposicional , tal como : P(x), entonces
si esta funcin proposicional est cuantificada y se niega,entonces, se
cumple la siguiente igualdad:
| | ) ( : ) ( : x p A x x p A x e - e
Dada una funcin proposicional, tal como : P(x), entonces, si esta funcin
proposicional est cuantificada en forma existencial y se niega, entonces,
se cumple la igualdad:
| | ) ( : ) ( : x p A x x p A x e e -