Leccin I

Docente Responsable: Lic. Mariella Orellana Daz.

LGICA PROPOSICIONAL
Es el estudio de los procesos validos del razonamiento humano. La lgica tiene como
finalidad conducirnos a un manejo y entendimiento del lenguaje matemtico.
Elementos de la Lgica.
a Enunciado.- es toda frase u oracin !ue es utilizado en nuestro lenguaje diario. "lgunos
enunciados son mandatos# interrogaciones# e$presiones de emocin# afirmacin# negacin
%etc.
E!:
& 'arlos "guirre estudia la 'arrera de 'omercio E$terior y Mar(eting )nternacional.
& *+u, da es el e$amen parcial-
& ./en cuidado0
& *1 es n2mero primo o compuesto-
& Los divisores de 31 son4 3#1#5#6#7#31.
NO"A : 8ay enunciados !ue pueden ser calificados como verdaderos o falsos.
9 Enunciados abie#tos.& son e$presiones !ue contienen varia9le# por lo tanto no se puede
determinar su valor de verdad.
Ejm4
: ; <= >o se conoce el valor de la varia9le# por lo tanto no se puede evaluar# por ejemplo si
: ? 11 # luego 11 ; 31 el valor de verdad seria @ pero si : ? A# luego A ; 31 el valor de
verdad seria B.
Ejm4
$
1
C 1y ? 6D E >o se conoce el valor de la varia9le# por lo tanto es enunciado a9ierto
PROPOSICIN LGICA
Es todo enunciado !ue tiene la cualidad de ser verdadera o falsa. La s proposiciones sern
denotadas con una letra min2scula4 p# !# r# s# t# %.
Ejm4
F4 El decano de la facultad de 'omercio E$terior y Gelaciones )nternacionales es el Doctor
Hulio @illar 'astillo E@

!4 Iogota es la capital de 'olom9ia. E@
r 4 La facultad de 'omercio E$terior y Gelaciones internacionales ofrece cuatro carreras
profesionales. EB
s4 1< es un n2mero par. EB
Jna proposicin puede ser4
$% P#oposiciones Si!ples o At!icas4 es un enunciado !ue e$presa una sola idea.
&NI'ERSIDAD INCA GARCILASO DE LA VEGA
FACULTAD DE COMERCIO EXTERIOR Y RELACIONES
INTERNACIONALES
Ejm4
- Jno es un n2mero simple.
- 7
1
C 6
1
? <1
- El trapezoide es un cuadriltero.
(% P#oposiciones Co!puestas o )olecula#es4 esta formada por dos o ms proposiciones
simples.
Ejm4
- Ki Mario estudia negocios )nternacionales entonces ser un gran empresario.
- "lonso estudia en las maLanas y tra9aja por las noches en la empresa de sus padres.
CONEC"I'OS LOGICOS
Kon sm9olos !ue se utilizan para unir dos o ms proposiciones# entre los ms importantes
tenemos4
- L a conjuncin
- La disyuncin inclusiva v
- La disyuncin e$clusiva M
- La condicional

- La bicondicional N
- La negacin O
a% Conuncin: es la operacin !ue resulta de unir dos proposiciones p y ! mediante el
conectivo lgico . Ku ta9la de verdad es4
p ! p !
@ @ @
@ B B
B @ B
B B B
Las pala9ras relacionadas con el conectivo lgico 4 PperoQ# Psin em9argoQ# PademsQ# Pno
o9stanteQ# Paun!ueQ# Pa la vezQ#%etc.
Ejm:
- Fiorella es responsable y empeosa.
p: Fiorella es responsable.
q: Fiorella es empeosa. p !
- 15 es un nmero impar y mltiplo de 5.
p: 15 es un nmero impar
q: 15 es un mltiplo de 5. p !
b% La Dis*uncin: es la operacin !ue resulta de unir dos proposiciones p y ! mediante el
conectivo lgico PoQ. 'omo el sentido del conectivo PoQ es e$cluyente# se puede
interpretar de dos maneras4
- D,9il o inclusiva.
- Buerte E$clusiva.
93 D,9il o inclusiva .&se denota por p v !# su ta9la de verdad es4
p q p q
! ! !
! F !
F ! !
F F F
Ke lee4 p !
Ejm:
"e #ngles y alem$n% &armen 'abla por lo menos un idioma.
p: &armen 'abla #ngles.
q: &armen 'abla alem$n. p v !
91 E$clusiva o fuerte .&se denota por p ( !# su ta9la de verdad es4
p q p ( q
! ! F
! F !
F ! !
F F F
Ke lee4 p o ! R
p ! pero no am9os.
Ejm:
El pro)esor indico 'acer la tarea * o +.
p: El pro)esor ordeno 'acer la tarea *.
q: El pro)esor indico 'acer la tarea +. p ( q
,aime esta en la ca)eter-a o en el cine.
p:,aime esta en la ca)eter-a.
q: ,aime esta en el cine. p ( q
c% La condicional +I!plicati,a%.- es la operacin !ue resulta de unir dos proposiciones p y
! mediante el conectivo lgico

. Ku ta9la de verdad es4

p q p q
! ! !
! F F
F ! !
F F !
Ke lee4 PKi% entonces%.Q
p !
"ntecedente consecuente
Fremisa conclusin.
8iptesis /esis
Las pala9ras relacionadas con el conectivo lgico4 Ppor consiguienteQ# Ppor!ueQ# Pde modo
!ueQ# Pya !ueQ# Ppor lo tantoQ# PluegoQ# Pen consecuencia%etc.
Ejm:
.i /al estudia la carera de negocios #nternacionales% 'ar$ )elices a sus padres.
p: /al estudia la carera de negocios #nternacionales
q:./al 'ar$ )elices a sus padres. p

q
d% La bicondicional +doble i!plicacin% .- es la operacin !ue resulta de unir dos
proposiciones p y ! mediante el conectivo lgico0. Ku ta9la de verdad es4
p q p q
! ! !
! F F
F ! F
F F !
Ke lee4 PKi y slo si.Q
Las pala9ras relacionadas con el conectivo lgico

4 Pcuando y solo cuandoQ# Pentonces y solo

entoncesQ# %etc.
Ejm:
1
2
3 4 si % solo si 1 3 5 1 3 -5
p: 1
2
3 4
q: 1 3 5 1 3 -5 p

q
e% La ne-acin es la operacin !ue afecta a una proposicin p cam9iando su valor de
verdad.
p 6 p
! F
F !
Ke lee4 P>o.Q
Las pala9ras relacionadas con el conectivo lgico 64 Pes falso !ueQ# Pno es verdad !ueQ#Q no
ocurre !ue P# Pno es cierto !ueQ %etc.
PR.C"ICA
3.& 'uales de los enunciados son proposiciones-
a La lgica proposicional es difcil.
9 "ng,lica es hermosa.
c Dilma Gousseff es la primera presidenta en la historia de Irasil.
d Mario @argas Llosa tiene una sola nacionalidad y es peruano.
e "u$ilio0
f /en cuidado.
g La religin predominante en )talia es la 'atlica.
h /res es un n2mero simple.
i Ojala aprue9e matemtica.
1.& Kim9oliza las siguientes proposiciones4
a Elena estudia y no tra9aja.
9 "na Mara no viajo a 'hile ni a Irasil.
c 'arlos es ingeniero solo si se gradu en la J>).
d >o es verdad !ue "na chatee y no vaya a la universidad.
e >o es el caso !ue ocho sea un numero par y 5 un n2mero primo.
f /e esforzaste mucho no o9stante te falto organizacin.
g La 9iologa es una ciencia fctica tam9i,n lo es la fsica.
h Ki Hulio va a la fiesta luego no podr estudiar matemtica.
i E$isten pases e$plotados adems algunos son sudamericanos.
j >o es el caso !ue >eSton fue matemtico y filosofo.
( Ki te dedicas a estudiar desde un principio# apro9aras satisfactoriamente matemtica ).
5.& 'onstruir la ta9la de verdad de las siguientes proposiciones.
a Ep v O ! p
9 Ep O ! N p
c EO p ! N E r O !
d Ep r v T E! N O rU
e p M E! v O r
f Ep O ! T E! N O p M O !U
EVALUACIN DE FRMULAS LGICAS:
a "autolo-/a4%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%..
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%..
E!: Evaluar4 T p Ep

! U

p

Rpta:
9 Cont#adicto#ia: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%..
E!: Evaluar4 TEO p !

O rU NT r O Ep v O ! U
Rpta:
c Contin-encia:%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%..
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%..
E!: Evaluar4 T p

! U

p
Rpta:
PROPOSICIONES EQUIVALENTES:%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
E!: )ndi!ue si los es!uemas moleculares "?T OE p ! v O rU y I ?T E p ! rU
*son e!uivalentes-