Вы находитесь на странице: 1из 25

UNIDAD N 1

INTRODUCCIN A LA LOGICA SIMBLICA


Objetivos especficos:
Traducir proposiciones verbales del lenguaje usual al
simblico y del simblico al lenguaje usual.
Identificar razonamientos vlidos.
Valorar proposiciones lgicas.
Plantear esquemas proposicionales.
Uso adecuado de cuantificadores.
INTRODUCCION!
Todo desarrollo matemtico eige razonar en forma vlida acerca de
cosas trascendentes y particularmente abstractas.
!ay que comenzar por eliminar" las ambig#edades del lenguaje
ordinario" introduciendo s$mbolos y conectivos cuyo uso adecuado
descarte las contingencias" aporte claridad y econom$a de
pensamiento.
%n esta unidad introducimos el concepto de proposicin" las
operaciones proposicionales y sus propiedades" reglas de inferencia
y la cuantificacin de esquemas proposicionales cuyo uso estar
presente en todas las unidades posteriores.
"RO"OSICION!
&a proposicin es un elemento fundamental de la lgica matemtica.
D#$INICIN!
Una proposicin es una oracin declarativa de la cual podemos
decir que es verdadera o falsa" pero no ambas a la vez.
Tambi'n una proposicin es toda epresin verbal o escrita de la
cual tenga sentido afirmar es verdadera o falsa.
Una proposicin es una coleccin de palabra" n(meros o s$mbolos"
de las cules tiene sentido afirmar si es verdadera o falsa.
&as oraciones interrogativas e imperativas no son proposiciones.
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
) continuacin se tienen algunos ejemplos de proposiciones vlidas
y no vlidas" y se eplica el porqu' algunos enunciados no son
proposiciones.
#je%p&o.*
Indicar cules de las siguientes epresiones son proposiciones y
luego eplique el porque de su respuesta.
+.* ,&a tierra es cuadrada-
..* ,+/ 0 1. log 2+34 5 .+-
6.* , 7 y * 8-
1.* ,9riente Petrolero es el campen del apertura-
:.* ,;<omo estas=-
>.* ,?&l'vame en coc@e por favorA-
/.* ,?Psame el marcadorA-
So&'ci()! *+
NOTACIN.*
&as proposiciones se denotan con letras min(sculas" as$ comoB p" q"
r" s" t" C..etc
&as proposiciones se indican por medio de una letra min(scula" dos
puntos y la proposicin propiamente dic@a entre comillas" como se
ilustra a continuacinB
pB ,&a tierra es cuadrada-
qB ,+/ 0 1. log 2+34 5 .+-
sB ,9riente Petrolero es el campen del campeonato apertura-
,ALOR D# ,#RDAD D# UNA "RO"OSICION!
Toda proposicin al ser tal" trae asociado un valor de verdad. Una
proposicin puede tener un valor de verdad verdadero o falso.
%l valor de verdad de una proposicin ,p- se simboliza de la
siguiente maneraB
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 2
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
2p4 5 V" se lee valor de verdad de p verdadero" tambi'n se suele
representar as$B 2p4 5 +
2p4 5 D" se lee valor de verdad de p falso" tambi'n se suele
representar as$B 2p4 5 .
T#RMINOS D# #NLAC# O CON#CTI,OS LOGICOS! &os
t'rminos de enlace o conectivos lgicos sonB
,y-" ,o-" ,no-" ,si C.." entonces CC-" ,C.. si y solo si C..-
CLAS#S D# "RO"OSICION#S! &as proposiciones se clasifican en
simples o atmicas y compuestas o moleculares.
"RO"OSICION#S SIM"L#S O ATOMICAS! Eon proposiciones
que no se pueden descomponer en otras ms sencillas. Eon
proposiciones completas sin t'rminos de enlace o conectivos
lgicos.
"RO"OSICION#S COM"U#STAS O MOL#CULAR#S! &as
combinaciones de las proposiciones simples mediante los t'rminos
de enlace o conectivos lgicos" conforman las proposiciones
compuestas
#je%p&o! Identificar cules de las siguientes proposiciones son
simples y cules son compuestas. Fustificar su respuesta.
+.* ,Fuan es estudioso-
..* ,Todo alumno estudia-
6.* ,)lgunos n(meros son primos-
1.* ,!oy no es jueves-
:.* , .: 5 : si y solo si :
.
5 :-
>.* ,&a &una es redonda y de queso-
/.* ,GaHana estudiamos o trabajamos-
Resp'est/! *+
O"#RACION#S "RO"OSICIONAL#S!
LA N#GACION! Ee llama negacin de la proposicin ,p- a la
proposicin obtenida enunciando ,p- a continuacin de la palabra
,no-.
Eu funcin es negar la proposicin. %sto significa que s$ alguna
proposicin es verdadera y se le aplica esta operacin se obtendr
su complemento o negacin 2falso4.
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 3
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
NOTACION! &a negacin de la proposicin ,p-" se simboliza de la
siguiente maneraB ,p-" y se lee ,no p-
,ALOR D# ,#RDAD D# LA N#GACION! Ei el valor de verdad de
,p- es verdadero" el valor de verdad de ,p- es falso.
Ei el valor de verdad de ,p- es falso" el valor de verdad de ,p- es
verdadero.
9 sea que simblicamente tenemosB
2p4 5 V si 2p4 5 D
2p4 5 D si 2p4 5 V
TABLA D# ,#RDAD! &a tabla de verdad de una proposicin
compuesta nos presenta el valor de verdad de esta" considerando
todas las combinaciones de valores de verdad de las proposiciones
simples componentes.
Ei la proposicin compuesta esta formada por ,n- proposiciones
simples" el n(mero de combinaciones de valores de verdad de las
proposiciones simples componentes es .
n
. 2%sta epresin ser
demostrada posteriormente en la unidad III4.
Para determinar cada una de las combinaciones de valor de verdad
se puede seguir del siguiente modo.
Eupongamos que la proposicin compuesta esta integrada por tres
proposiciones simples" entonces n56 y el n(mero de combinaciones
de valores de verdad ser .
6
" es decir oc@o.
A'to-: #&io Ro%e-o C'.&&/- "01i)/
p 4 -
, , ,
, , $
, $ ,
, $ $
$ , ,
$ , $
$ $ ,
$ $ $
5
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
Iel n(mero de combinaciones se asignan la mitad verdaderas y la
otra mitad falsas en la primer columna" en la segunda columna de la
mitad la mitad verdadero y la mitad falso y en la tercer columna la
mitad de la mitad verdaderos y la mitad de la mitad falsos y as$
sucesivamente" siempre la (ltima columna queda intercalando uno
verdadero y otro falso. %sta es una forma prctica de obtener todas
las combinaciones de los valores de verdad de las proposiciones
simples que la componen.
TABLA D# ,#RDAD D# LA N#GACION! n5+.
.
n
5 .
+
5 . combinaciones de valores de verdad de las proposiciones
componentes.
#je%p&o! Jegar las proposiciones siguientes simblica y
verbalmente y luego determinar su valor de verdad.
tB ,!oy @ace fr$o-
uB ,&a aceleracin de la gravedad es de 8.K+ mLseg
.
-
rB ,+: no es multiplo de .-
So&'ci()! *+

#je%p&o! !acer la tabla de verdad de 2p4" es decir de la doble
negacin.
So&'ci()! *+
LA CON6UNCION O "RODUCTO LOGICO!
&a conjuncin de las proposiciones ,p-" ,q- es la proposicin
obtenida enunciando ,q- a continuacin de ,p-" unidas ambas por la
letra ,y-.
Ee utiliza para conectar dos proposiciones que se deben cumplir
para que se pueda obtener un resultado verdadero.
A'to-: #&io Ro%e-o C'.&&/- "01i)/
p p
V D
D V
7
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
NOTACION! &a conjuncin de la proposicin ,p-" ,q-M se simboliza
de la siguiente maneraB ,pq-" y se lee ,p y q-
,ALOR D# ,#RDAD D# LA CON6UNCION! 2pq4 5 V" cuando
ambas proposiciones son verdaderas. 2pq4 5 D" cuando al menos
una de las proposiciones es falsa.
TABLA D# ,#RDAD D# LA CON6UNCION!
p 4 p 4
V V V
V D D
D V D
D D D
#je%p&o!
Iada la proposicin ,Pedro es estudioso y Gar$a es no es casada-"
epresarla simblicamente.
So&'ci()! *+
#je%p&o!
Ietermine el valor de verdad de cada una de las siguientes
proposiciones compuestas.
a4 , log +335. y +3
.
5+33-
b4 ,*6*/5*+3 y 6L. es n(mero irracional-
c4 ,todo n(mero divido por cero es cero y cinco es cuadrado
perfecto-
So&'ci()! *+
LA DIS8UNCION O SUMA LOGICA!
Para la disyuncin se presentan dos clasesB la inclusiva y la
eclusiva
LA DIS8UNCION INCLUSI,A!
&a disyuncin inclusiva de las proposiciones ,p-" ,q- es la
proposicin obtenida enunciando ,q- a continuacin de ,p-" unidas
ambas por la letra ,o-" en el sentido inclusivo 2la una" la otra o
ambas4. <on esta operacin se obtiene un resultado verdadero
cuando alguna de las proposiciones es verdadera.
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 9
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
NOTACION! &a disyuncin inclusiva de la proposicin ,p-" ,q-M se
simboliza de la siguiente maneraB ,pq-" y se lee ,p o q" en el
sentido inclusivo-" es decir p o q o ambas.
,ALOR D# ,#RDAD D# LA DIS8UNCION INCLUSI,A!
2pq4 5 D " cuando ambas proposiciones son falsas.
2pq4 5 V" cuando al menos una de ellas es verdadera.

TABLA D# ,#RDAD D# LA DIS8UNCION INCLUSI,A!
p 4
p4
V V V
V D V
D V V
D D D
DIS8UNCION #:CLUSI,A!
&a disyuncin eclusiva de las proposiciones ,p-" ,q- es la
proposicin obtenida enunciando ,q- a continuacin de ,p-" unidas
ambas por la letra ,o-" en el sentido eclusivo 2la una" la otra pero no
ambas4.
<on esta operacin se obtiene un resultado verdadero cuando
ambas tienen valores de verdad diferentes.
NOTACION! &a disyuncin eclusiva de la proposicin ,p-" ,q-M se
simboliza de la siguiente maneraB ,p q-" y se lee ,p o q" en el
sentido eclusivo-" es decir p o q" pero no ambas
,ALOR D# ,#RDAD D# DIS8UNCION #:CLUSI,A!
2p q4 5 D" cuando ambas proposiciones simples son falsas.
2pq4 5 V" cuando al menos una de ellas es verdadera.
TABLA D# ,#RDAD D# LA DIS8UNCION #:CLUSI,A!
p 4 p 4
V V D
V D V
D V V
D D D
#je%p&o!
A'to-: #&io Ro%e-o C'.&&/- "01i)/ ;
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
%presar simblicamente las siguientes proposiciones y determinar
luego su valor de verdad.
a4 ,!oy es jueves o viernes
b4 ,:08 es una suma o +1-
c4 ,%l beb' es @ombre o mujer-
d4 ,Te regalo rosas o claveles-
So&'ci()! *+
LA CONDICIONAL!
&a condicional de dos proposiciones p" q dadas en ese orden" es la
proposicin condicional de la formaB
,Ei p" entonces q-
,p es condicin suficiente para q-
,q es condicin necesaria para p-
,Ei p tambi'n q-
,q cuando p-
, q cada vez que p-
,) fin de que q basta que p-
NOTACION!
&a condicional de las proposiciones p" q se simboliza de la siguiente
maneraB ,pq-
&a proposicin ,p-" se denomina antecedente o @iptesis
&a proposicin ,q-" se denomina tesis o consecuente.
,ALOR D# ,#RDAD D# LA CONDICIONAL!
2pq4 5 D" cuando el antecedente es verdadero y el consecuente
falso" en todas las dems opciones es verdadero.
TABLA D# ,#RDAD D# LA CONDICIONAL!
p 4
p 4
V V V
V D D
D V V
D D V
#je%p&o! Ieterminar el valor de verdad de la siguiente proposicin
compuestaB N2pq4rO" si 2p4 5 V
So&'ci()! *+
A'to-: #&io Ro%e-o C'.&&/- "01i)/ <
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
IM"LICACION#S ASOCIADAS! &as condicionales asociadas sonB
&a PeciprocaB &a Peciproca de 2p q4 es 2q p4
&a <ontrariaB &a <ontraria de 2p q4 es 2p q4
&a <ontra*reciprocaB &a contra*reciproca de 2p q4 es 2q p4
"RO"OSICION#S #=UI,AL#NT#S! Ios proposiciones son
equivalentes si tienen la misma tabla de verdad. %s decir si tienen el
mismo valor de verdad para las mismas opciones de valor de
verdad de las proposiciones simples que la componen.
#je%p&o! %stablecer cuales de las condicionales asociadas son
lgicamente equivalentes.
LA BICONDICIONAL!
&a bicondicional de dos proposiciones p" q es la proposicin de la
forma ,p si y solo si q-
NOTACION!
&a bicondicional de las proposiciones p" q se simboliza de la
siguiente maneraB Q,pq- y se leeB
,p si y solo si q-
,p es condicin suficiente y necesaria par q-
,q es condicin necesaria y suficiente para p-
,ALOR D# ,#RDAD D# LA BICONDICIONAL! &a bicondicional
tiene un valor de verdad falso" cuando el valor de verdad de ambas
proposiciones es falso y el valor de verdad de la bicondicional es
verdadero" cuando el valor de verdad de ambas proposiciones es
verdadero.
2pq4 5 D" cuando 2p4 R 2q4
2pq4 5 V" cuando 2p4 5 2q4
TABLA D# ,#RDAD D# LA BICONDICIONAL!
p 4
p 4
V V V
V D D
D V D
D D V
&a bicondicional se define tambi'n como la conjuncin de la
condicional y la reciproca" es decirB pq 2pq4 2qp4
A'to-: #&io Ro%e-o C'.&&/- "01i)/ >
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
$ORMULAS "RO"OSICIONAL#S!
D#$INICIN! Una formula proposicional es la combinacin de
letras y conectivos lgicos de manera tal que al sustituir las letras
por proposiciones se obtiene una proposicin.
#je%p&o! 2pq4 2qp4
2pq4 2qp4
CLASI$ICACION D# LAS $ORMULAS "RO"OSICIONAL#S! Ee
clasifican en Tautolgicas" antitautologicas y contingencias.
TAUTOLOGICAS! Eon formulas proposicionales que siempre son
verdaderas cualquiera sea la combinacin de valores de verdad de
las proposiciones componentes" es decir tienen su tabla de verdad
llena de verdades y solo de verdades.
ANTITAUTOLOGICAS! Eon formulas proposicionales que siempre
son falsas cualquiera sea la combinacin de valores de verdad de
las proposiciones componentes" es decir tienen su tabla de verdad
llena de falsedades y solo de falsedades.
CONTING#NCIAS! Eon formulas proposicionales que no son
tautolgicas ni antitautologicas.
#je%p&o! Ieterminar la tabla de verdad de las formulas
proposicionales siguientes y luego clasificarlas.
+.* 22pq4p4
..* N2pq4 2qp4O22qr4
6.* Nq2pqO2p4
So&'ci()! *+
$ORMULAS LOGICAM#NT# #=UI,AL#NT#S!
Ios formulas son lgicamente equivalentes si toman los mismos
valores de verdad cualquiera sea la combinacin de los valores de
verdad de las proposiciones simples componentes.
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 1?
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
Ios formulas son lgicamente equivalentes si y solamente si la
bicondicional entre ellas es una verdad lgica 2Tautolgica4.
#je%p&o.* Iemostrar la equivalencia lgica de las siguientes
formulas proposicionales 2pq4 y 2pq4
So&'ci()! *+
"RO"I#DAD#S D# O"#RACION#S "RO"OSICIONAL#S!
"RO"I#DAD 1! ID#M"OT#NCIA
pp p pp p
"RO"I#DAD 2! CONMUTATI,A
pq qp
pq qp
pq qp
"RO"I#DAD 3! ASOCIATI,A
N2pq4rO Np2qr4O
N2pq4rO Np2qr4O
"RO"I#DAD 5! DISTRIBUTI,A
p2qr4 2pq42pr4
p2qr4 2pq42pr4
p2qr4 2pq42pr4
p2qr4 2pq42pr4
"RO"I#DAD 7! DOBL# N#GACION @I)vo&'ci()A
2p4 p
"RO"I#DAD 9! N#GACION D# LAS O"#RACION#S BASICAS
2pq4 p q
2pq4 p q
2pq4 p q
2pq4 p q
2pq4 p q
2pq4 p q
"RO"I#DAD ;! IM"LICACION MAT#RIAL
pq p q
"RO"I#DAD <! CONTRAR#CI"ROCA
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 11
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
pq q p
"RO"I#DAD >! L#8 D# BICONDICIONAL
pq 2p q4 2qp4
"RO"I#DAD 1?! ID#NTIDAD
pT p
pT T
pD D
pD p
"RO"I#DAD 11! COM"L#M#NTACION
pp D
pp T
T D
#je%p&o! Usando las propiedades de las proposiciones demostrar
que las siguientes formulas son lgicamente equivalentes.
/A B@p 4A 4C @p 4A 4
bA DBp @p 4A C E $
So&'ci()! *+
#je%p&o! Usando las propiedades de las proposiciones demostrar
la ley de absorcin.
@p 4A p p
So&'ci()! *+
A"LICACIN A LA T#ORIA D# CIRCUITOS #L#CTRICOS!
<ada formula proposicional se puede representar por un circuito
el'ctrico. Para ello primero estableceremos las componentes del
circuito.
Los i)te--'pto-es: @o &&/vesA
Pepresentan las proposiciones de las formulas proposicionales. &a
proposicin es verdadera cuando el interruptor esta cerrado y es
una proposicin falsa cuando el interruptor esta abierto. Ee
representa grficamente de la siguiente formaB
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 12
IondeB
T es una Tautolgica
D es una )ntitautolgica
Si 2p4 5 D
Ei 2q4 5 V
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
L/ bo%bi&&/ e&.ct-ic/!
Pepresenta el valor de verdad de la formula proposicional asociada
al circuito" es verdadera cuando la bombilla se enciende y es falsa
cuando la bombilla se apaga. Ee representa de la siguiente maneraB
Los c/b&es e&.ct-icos!
Permiten las coneiones entre los interruptores" se representan por
l$neas.
L/ f'e)te Fe e)e-1/!
Ia vida al circuito" y se representa porB
&os circuitos se pueden conectar en serie o en paralelo y
combinaciones de ambos.
CIRCUITO #N S#RI#! 2<onjuncin4
&os interruptores conectados en serie representan la conjuncin de
las proposiciones p" q
CIRCUITO #N "ARAL#LO! 2Iisyuncin inclusiva4


&os interruptores conectados en paralelo representan la disyuncin
inclusiva de las proposiciones p" q
#je%p&o! <onstruir el circuito lgico de la disyuncin eclusiva.
A'to-: #&io Ro%e-o C'.&&/- "01i)/
p 4
p4
V V V
V D D
D V D
D D D
p 4
p4
V V V
V D V
D V V
D D D
13
q
p
2pq4
q
p
2pq4
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
2p q4
#je%p&o! <onstruir el circuito lgico mas simple asociado a la
siguiente formula proposicional.
4 B@p4A 4C
So&'ci()! *+
IN$#R#NCIA LOGICA!
%l proceso de inferir una proposicin t de las proposiciones dadas
E
+
" E
.
" E
6
"CC" E
n
" se llama razonamiento y se representa mediante
el esquema siguienteB
} conclusin t
premisas
s
.
.
.
s
s
s
n
6
.
+

<on esto queremos significar que como las proposiciones s


+
" s
.
" s
6
"
C.." s
n
son verdaderas" por lo tanto t es verdadera. ) las
proposiciones s
+
" s
.
" s
6
" C.." s
n
se las denomina premisas del
razonamiento y a ,t- conclusin.
Ee dice que tal razonamiento es valido si y solamente siB
2s
+
s
.
s
6
C.. s
n
4 t es una formula tautolgica.
#je%p&o! Eean las proposiciones
pB ,Fos' es responsable-
qB ,Fos' form en la Sabriel-
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 15
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
q
p B s
q p B s
+
.

%ste razonamiento es valido si la conjuncin de las premisas


condicional la conclusin es una formula tautolgica.
p 4
p4 @p4Ap B@p4ApC
4
V V V V V
V D D D V
D V V D V
D D V D V
<omo podemos observar la formula N2pq4pOq es una
tautolog$a.
Por lo tanto el razonamiento es valido.
TABLAS D# IN$#R#NCIA!
R#GLA 1.* Godus ponendo ponens.* ""
M.toFo 4'e /fi-%/ e& co)sec'e)te /fi-%/)Fo e& /)teceFe)te
q
p
q p

R#GLA 2.* Godus Tollendo Tollens.* TT


M.toFo 4'e )ie1/ e& /)teceFe)te )e1/)Fo e& co)sec'e)te
p
q
q p

R#GLA 3.* Godus Tollendo Ponens.* T"


p
q
q p

q
p
q p

R#GLA 5.* Pegla de simplificacin.* S


p
q p

q
q p

R#GLA 7.* Pegla de )djuncin.* A


A'to-: #&io Ro%e-o C'.&&/- "01i)/ 17
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
q p
q
p
p q
q
p

R#GLA 9.* &ey del silogismo @ipot'tico.* SG
r p
r q
q p

R#GLA ;.* &ey de adicin.* LA


q p
p
q p
q

R#GLA <.* &ey del silogismo disyuntivo.* SD
s r
s q
r p
q p

r s
s q
r p
q p

R#GLA >.* &ey de simplificacin disyuntiva.* LSD


p
p p

R#GLA 1?.* &ey de doble negacin.* DN


p
4 p 2


4 p 2
p

R#GLA 11.* &eyes de Gorgan.* LDM
q p
4 q p 2


q p
4 q p 2


4 q p 2
q p


4 q p 2
q p


R#GLA 12.* &eyes conmutativas.* LC
p q
q p

p q
q p

A'to-: #&io Ro%e-o C'.&&/- "01i)/ 19


ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
R#GLA 13.* &eyes de las proposiciones bicondicionales.* L"B
q p
4 q p 2


p q
4 q p 2

q p
p q
q p

4 p q 2 4 q p 2
q p

R#GLA 15.* Pegla de las premisas.* "


Una premisa se puede introducir en cualquier punto de la
deduccin.
#je-cicio! Iemostrar la ley del silogismo disyuntivo.
So&'ci()! *+
M#TODOS "ARA D#DUCIR LA ,ALID#H D# RAHONAMI#NTOS!
Vamos @a estudiar cuatro m'todos o formas para deducir la validez
de un razonamiento. %l m'todo Iirecto" el m'todo indirecto" el
m'todo de la demostracin condicional y el abreviado.
M#TODO DIR#CTO! %ste m'todo consiste en llegar a la
conclusin usando reglas de inferencia en forma sucesiva con las
premisas iniciales y las intermedias que se van determinando en el
proceso deductivo.
#je%p&o! %squematizar el razonamiento y deducir su validez
usando el m'todo directo.
,Ei Favier gano la carrera" entonces Fos' fue el segundo o )bel fue
el tercero-
,Ei Fos' fue el segundo" entonces Favier no gano la carrera-
,Ei Garcos fue el segundo" entonces )bel no fue el tercero-
,Favier gan la carrera-
Por tantoB ,Garcos no fue el segundo-
So&'ci()! *+
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 1;
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
#je%p&o! %squematizar el razonamiento y demostrar su validez
usando el m'todo directo.
,Ei dos es mayor que uno" entonces tres es mayor que uno-
,Ei tres es mayor que uno" entonces tres es mayor que cero-
,Ios es mayor que uno-
Por lo tantoB ,Tres es mayor que cero-
So&'ci()! *+
#je%p&o! Ieducir la validez del siguiente razonamiento" usando el
m'todo directo.
s
+
B @ j
s
.
B @
s
6
B j g
g
So&'ci()! *+
M#TODO INDIR#CTO! Eeg(n este m'todo para probar queB
2s
+
s
.
s
6
C.. s
n
4 t es una formula tautolgica se incluye la
negacin de la conclusin 2t4 como premisa y la formula
proposicional 2s
+
s
.
s
6
C.. s
n
t4 debe ser una falsedad
para que el razonamiento sea vlido.
#je%p&o! Ieducir la validez del siguiente razonamiento" usando el
m'todo indirecto.
s
+
B p 2s j4
s
.
B s
s
6
B p
s j
So&'ci()! *+
M#TODO D# LA D#MOSTRACION CONDICIONAL!
Para utilizar este m'todo la conclusin del razonamiento debe ser
una condicional" y consiste en introducir el antecedente de la
conclusin como premisa 2verdadera4 y con ello se debe establecer
la verdad del consecuente de la conclusin" para que el
razonamiento sea vlido.
#je%p&o! Ieducir la validez del siguiente razonamiento" usando el
m'todo de la demostracin condicional.
s
+
B p 2q r4
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 1<
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
s
.
B q p
s
6
B s r
p s
So&'ci()! *+
M#TODO ABR#,IADO!
Para deducir la validez de un razonamiento por su definicin es
necesario construir la tabla de verdad de la formula proposicional
2s
+
s
.
s
6
C.. s
n
4 t " este m'todo nos libera de esta tarea.
%l m'todo consiste en lo siguienteB
Ee asigna valor de verdad verdadero a cada una de las
premisas y valor de verdad falso a la conclusin.
<on estas condiciones" se determina el valor de verdad de
las proposiciones simples que componen el razonamiento.
<omenzando por aquella condicin que asigna un valor de
verdad (nico a las proposiciones que la componen" y con
estos valores y las dems condiciones vamos determinando
los valores (nicos de las proposiciones componentes del
razonamiento.
Ei alguna proposicin toma dos valores de verdad diferentes
para que se cumplan las condiciones impuestas" entonces
el razonamiento es vlido.
Ei todas las proposiciones toman un (nico valor de verdad
para el cumplimiento de las condiciones impuestas"
entonces el razonamiento no es vlido.
#je%p&o! Ieducir la validez del siguiente razonamiento" usando el
m'todo abreviado.
s
+
B p q
s
.
B pr
s
6
B r q
p r
So&'ci()! *+
#S=U#MAS "RO"OSICIONAL#S! 2%. P.4
#S=U#MAS "RO"OSICIONAL#S #N UNA ,ARIABL#!
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 1>
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
D#$INICION! Un %. P. en una variable es una epresin en la que
aparece una letra generalmente designada con con la siguiente
propiedad ,!ay por lo menos un nombre o constante que al
reemplazar la variable la epresin se convierte en una
proposicin-.
#je%p&o!
+.* , es el libertador de )m'rica-
..* ,06 5 8-
6.* ,;Tue estudia =-
1.* -? Viva A ,
NOTACION! &os %. P. en una variable se simbolizan de la siguiente
maneraB D24" S24" !24"C y se leen ,D de -" ,S de -" ,! de -" C
#je%p&o!
+.* D24B , es el libertador de )m'rica-
..* S24B ,06 5 8-
6.* !24B , estudia-
1.* P2y4B ,y*. 7 :-
,ALOR D# UN # " #N UNA ,ARIABL#!
D#$INICION! %l valor de un %. P. en la variable " para 5a es la
epresin obtenida al reemplazar la variable por la constante ,a-.
%l valor del %. P. D24 para 5a se simboliza por D2a4.
#je%p&o! Iado el %. P. S24B ,06 5 +:-. Ietermine 6 valores para
S24 de manera que el primer valor resulte una proposicin
verdadera" el segundo valor una proposicin falsa y el tercer una
epresin carente de sentido.
RAIH O SOLUCION D# UN # " #N UNA ,ARIABL#!
D#$INICION! Ee dice que ,a- es una ra$z o solucin del %. P. en
una variable" si el valor que toma el %. P. para 5a es una
proposicin verdadera.
EimblicamenteB
,a- es ra$z de D24 si y solo si ND2a4O5 V
#je%p&o! Ietermine la ra$z de cada uno de los %. P. siguientesB
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 2?
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
D2y4B , 6 y
.
+
6
+
= -
!2z4B ,z tiene +: provincias-
S24B , es un numero par-
So&'ci()! *+
CUANTI$ICADOR#S!
%isten dos tipos de cuantificadores" el universal y el eistencial.
CUANTI$ICADOR UNI,#RSAL.*
Un cuantificador universal en la variable es la epresin ,para todo
-" cuya notacin simblica esB ,"-.
&a epresin " D24 se llama proposicin universal y se leeB
,para todo " D24-
,para cada " D24-
,para cualquier " D24-
#je%p&o! Iado el %. P. D24B ,
.
* 1 5 3-. Ietermine simblica y
verbalmente una proposicin universal y @alle su valor de verdad.
So&'ci()! *+
CUANTI$ICADOR #:IST#NCIAL!
%l cuantificador eistencial en la variable es la epresin ,eiste "
tal que-" 2<on el significado que eiste por lo menos un dado que4.
Eu notacin simblica esB ,B-.
&a epresin ,B D24-" se llama proposicin eistencial y se lee de
la siguiente formaB
,%iste talque D24-
,%iste alg(n talque D24-
,!ay un talque D24-
#je%p&o! Iado el %. P. S24 determinar una proposicin eistencial
y su valor de verdad. Ei S24B , es n(mero primo-.
So&'ci()! *+
N#GACION D# "RO"OSICION#S CUANTI$ICADAS!
Jegacin de una proposicin universalB
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 21
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
[" D24] 5 B D24
Jegacin de una proposicin eistencialB
[B D24] 5 " D24
#je%p&o! Iada la proposicin ,%isten n(meros enteros cuyo cubo
aumentado en uno es igual cubo del siguiente-.
a4 Eimbolizarla
b4 Jegarla simblica y verbalmente.
So&'ci()! *+
#je%p&o! Iada la proposicin ,Todo n(mero entero elevado al
cuadrado aumentado en uno es igual cubo del siguiente-.
a4 Eimbolizarla
b4 Jegarla simblica y verbalmente.
So&'ci()! *+
#je-cicio! Jegar simblica y verbalmente cada una de las
siguientes proposicionesB
+.* ,Jing(n n(mero natural es divisible por 6-
..* ,Jadie es pol$tico-
6.* ,Jada es absolutamente malo-
So&'ci()! *+
#S=U#MAS "RO"OSICIONAL#S #N DOS ,ARIABL#S!
Defi)ici()! Un %. P. en dos variables es una epresin en la que
aparecen dos letras generalmente " y de manera que @aya por lo
menos un par de nombres o constantes que la reemplazar las
variables " y convierta la epresin en una proposicin.
#je%p&o!
+.* , es provincia de y-
..* ,y es @ermano de z-
6.* ,+y +3-
Not/ci()! &os esquemas proposicionales en dos variables se
simbolizan del modo siguiente D2"y4M S2"y4M !2"y4M CCC.
Ee leen ,D de "y-M ,S de "y-M ,! de " y-M CCC
#je%p&o!
+.* D2"y4 5 , es libertador de y-
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 22
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
..* S2y"z45 ,y alumbra a z-
6.* !2"y45 ,+y +3-
,ALOR D# UN # " #N DOS ,ARIABL#S!
%l valor de un %. P. en dos variables D2"y4" para 5a es la epresin
obtenida al reemplazar la variable " por la constante a cuyo
resultado no es una proposicin si no un %. P. en la variable y.
#je%p&o! Ei P2"y4B ,0y 5 /-" entonces el valor de P2"y4 para 5:
es P2:"y4B ,:0y 5 /-
%l valor de un %.P. en dos variables D2"y4 para 5a" y5b es la
epresin que se obtiene al sustituir la variable por a y la variable
y por b.
%l valor de D2"y4 para 5a" y5b se designa con D2a"b4 y es una
proposicion.
#je%p&o! Ieterminar dos valores de los esquemas proposicionales
siguientes de manera que el primer valor sea proposicin verdadera
y el segundo una proposicin falsa.
D2"y4B , destruye y-
S2y"z4B ,y 0 K 5 z-
RAIH D# UN #S=U#MA "RO"OSICIONAL #N DOS ,ARIABL#S!
Defi)ici()! %l par 2a"b4 es una raiz del %.P. D2"y4 si y solo si
ND2a"b4O 5 V
#je%p&os! Ietermine la ra$z de los siguientes %.P.
D2"y4B ,
.
0y51-
S2y"z4B ,
z 6 y +
-
!2"y4B , es una ciudad de y-
So&'ci()! *+
CUANTI$ICACION SIM"L#! Ei se coloca delante de un %. P. en
dos variables uno de los cuantificadores en una de las dos variables
no se obtiene una proposicion si no un esquema proposicional en la
variable no cuantificada.
%jemplo.* Ei al %. P. D2"y4B ,0y 5 >-
B D2"y4 5 B ,0y 5 >- 2%s un %. P. en la variable y4
y" D2"y4 5 y" ,0y 5 >- 2%s un %. P. en la variable 4
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 23
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1

CUANTI$ICACION DOBL#! Ei se coloca delante de un
%. P. en dos variables" dos cuantificadores iguales o distintos" se
obtiene una proposicion.
%jemplo.* Eea el %.P. D2"y4" entonces cuantificando doblemente
podemos tener las siguientes proposiciones.
" yB D2"y4
" yB D2"y4
" yB D2"y4
" yB D2"y4
N#GACION D# #NUNCIADOS DOBL#M#NT#
CUANTI$ICADOS!
UN" y" D2"y4O 5 B yB UD2"y4
UN" yB D2"y4O 5 B y" UD2"y4
UNB y" D2"y4O 5 " yB UD2"y4
UNB yB D2"y4O 5 " y" UD2"y4
RAHONAMI#NTO D#DUCTI,O CON #L USO D#
CUANTI$ICADOR#S!
Para deducir la validez de este tipo de razonamientos se siguen los
siguientes pasosB
+.* Eimbolizar las premisas 2%squematizar el razonamientos4
..* %specificar los objetivos para eliminar cuantificadores.
6.* )plicar las reglas de inferencia lgica.
#je%p&o! Iemostrar la validez del siguiente razonamientoB
,<ada n(mero entero es un n(mero real-
,%l dos es n(mero entero-
Por lo tanto" ,%l dos es n(mero real-
So&'ci()! *+
#je%p&o! Iemostrar queB ,Fuan es mortal-
,Todo @ombre es mortal-
,Fuan es @ombre-
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 25
ALG#BRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 1
So&'ci()! *+
#je%p&o!
Iemostrar queB . 7 3" siendo queB D2"y4B ,7y- S2"y4B-0+7y-
s
+
B ," y" D2" y4 S2" y4
s
.
B D2+"34
s
6
B .5 +0+
So&'ci()! *+
#je%p&o!
Ieducir la validez del siguiente razonamientoB
,Para todo " si es un numero par" entonces 0. es numero par-
,Para cada " si es un numero par" entonces no es un numero
impar-
,. es numero par-
Por lo tantoB , .0. no es un numero impar-
So&'ci()! *+
#je%p&o!
Iar una demostracin formal de cada uno de los siguientes
razonamientosB
a4 ,Todos los n(meros positivos son mayores que cero-
,<uatro es un numero positivo-
,<uatro es igual a tres mas uno-
Por lo tantoB ,Tres mas uno es mayor que cero-
b4 -!ay personas traicioneras-
,!ay felinos traicioneros-
&uego" ,)lgunas personas son felinos-
BIBLIOGRAFIA:
1.- Armando Rojo : Algebra I : Editorial Ateneo
2.- Lipschutz Semour : !atem"ticas #initas : Editorial !c. $ra% &ill
'.- Lipschutz Semour : (eor)a de *onjuntos temas a#ines : Editorial !c. $ra% &ill
+.- Suppes ,atri- : Introducci.n a la l.gica simb.lica : Editorial
/.- 0raulio *"ceres *h. : L.gica conjuntos : Editorial El ,a)s
1.- 0osch : Introducci.n al simbolismo l.gico : Editorial Eudeba
2.- Sebasti"n Lazo : !atem"tica !oderna : Ed. Soipa Ltda.
A'to-: #&io Ro%e-o C'.&&/- "01i)/ 27