UNIDAD 1

LGICA PROPOSICIONAL
 Es llamada tambin lgica de
enunciados o lgica de orden.
Es la lgica ms sencilla de la
lgica simblica.
Trata sobre la verdad o falsedad
de las proposiciones y de cmo
la verdad se transmite de unas
proposiciones (premisas) a
otras (conclusin).
Una proposicin es la unidad
mnima de significado
susceptible de ser verdadera o
falsa.
 Proposiciones simples
Proposicin Llamadas tambin proposiciones
atmicas o elementales, son
aquellos enunciados que tienen un
Es un enunciado al cual solo sujeto o un solo predicado.
se le puede asociar el Ejemplos:
Juan viajar maana a Trujillo
concepto de verdadero 6 es un nmero primo.
o falso, pero no ambos.
Proposiciones compuestas
Son aquellas que tienen dos o ms
Ejemplos: significados unidos por
La luna es cuadrada. conjunciones gramaticales o en
todo caso, contienen el adverbio
2 es un nmero primo. NO.
Las araas son Ejemplos:
Javier es ingeniero y trabaja en
mamferos. una empresa minera.
4 es un nmero par o 5 es un
nmero compuesto.
 Conectivos Lgicos
Como sinnimos de no, se
Negacin utilizan las siguientes
expresiones:
Si p es una proposicin,
No es cierto que
entonces no p es la No es el caso que ..
negacin de p y se Es falso que
No sucede que
denota por:
~p
Ejemplo:
p: Hoy es jueves.
~ p: Hoy no es jueves.
 Conjuncin Se consideran como
sinnimos de la conjuncin:
Adems Pero
Si p y q son proposiciones, Sin embargo Aunque
se llama conjuncin de p y q Tambin An
a la proposicin compuesta A la vez No obstante
p y q y se denota por:
pq

Ejemplo:
p: Hoy es viernes.
q: La luna es redonda.

p q :Hoy es viernes y la
luna es redonda.
 Disyuncin inclusiva
Si p y q son proposiciones, se
llama disyuncin de p y q a la
proposicin compuesta p o
q y se denota por:
pq

Ejemplo:
p: Pedro estudia medicina.
q: Julia estudia derecho.

p v q : Pedro estudia medicina

o Julia estudia derecho.
 Disyuncin exclusiva
Si p y q son proposiciones, se
llama disyuncin exclusiva de
p q pq
p y q a la proposicin
compuesta o p o q y se
V V F
denota por:
pq V F V
Ejemplo: F V V
p:Jorge viaja a Piura.
q: Jorge viaja a Tacna. F F F

p q : O Jorge viaja a Piura o

a Tacna.
 Condicional
Si p y q son proposiciones,
se llama condicional de p y q
p q pq
a la proposicin compuesta
si p, entonces q y se V V V
denota por:
pq V F F

Ejemplos: F V V
Si no llueve (entonces)
iremos a la playa. F F V
Si me gano la lotera
(entonces) me voy de
viaje.
 Bicondicional
Si p y q son proposiciones,
se llama bicondicional de p y
p q pq
q a la proposicin
compuesta p, si y solo s V V V
q y se denota por:
pq V F F

Ejemplos: F V F
7 es par si y solo s es
divisible por 2. F F V
La luna es satlite de la
Tierra, si y solo s gira
alrededor de ella.
 Ejercicios:
1. Construye la tabla de verdad para la siguiente proposicin :
(p q) (p ~q)

2. Expresa de forma simblica la siguiente proposicin compuesta:

Si es chiclayano, es peruano
Solucin : (p q)
Tambin se puede decir lo siguiente:
Es peruano, siempre que sea chiclayano.
Es peruano si es chiclayano.
Es suficiente que sea chiclayano para que sea peruano.
Siempre y cuando sea chiclayano, ser peruano.
Es necesario que sea peruano para ser chiclayano.