logica proposicional

7/17/2019 Logica proposicional

http://slidepdf.com/reader/full/logica-proposicional-568c6d3c17333 1/12

ÓGICAÓGICA

PROPOSICIONA

ROPOSICIONA

U N I V E R S I D A D D E

S A N M A R T Í N D E P O R R E S FILIAL DEL NORTE

Mg. RAMIRO GÓMEZIPARRAGUIRRE



LÓGICAPROPOSICIONAL

I.

PROPOSICIÓN.-1. DEFINI

CIÓN.- SON ORACIONES ASEVERATIVAS ODECLARATIVAS, QUE SE CARACTERIZAN POR SERVERDADERAS O FALSAS, PERO NO AMBAS COSAS A LA VEZ.CUMPLEN UNA FUNCIÓN INFORMATIVA SEÑALANDOACONTECIMIENTOS, HECHOS QUE SE DAN EN LA REALIDADOBJETIVA.

LAS PROPOSICIONES SON LOS ELEMENTOS FUNDAMENTALES

DEL RAZONAMIENTO O INFERENCIA.

ES LA PARTE MÁS SENCILLA DE LA LÓGICA, PUES EN ELLA NO SEANALIZAN LAS PROPOSICIONES EN FORMA INDIVIDUAL SINO ENBLOQUE, MEJOR DICHO, COMO SI FUERAN UN CONJUNTO.



SON

PROPOSICIONES

NO SON

PROPOSICIONES

-Las oraciones aseverativas.-Las leyes cient!icas.-Los en"ncia#os

cerra#os o #e!ini#os.-Las oraciones el$ticas.

- Los s"%etos !icticios- Los $rover&ios' (o#is(os' re!ranes.- )reencias reli*iosas- S"$ersticiones y (itos.

- En"ncia#os a&iertos o in#e!ini#os.- Las interro*aciones- Las or#enes.- Las inter%ecciones.- Los #eseos' #"#as y s+$licas.



Coloc! "P# $% &$Coloc! "P# $% &$P!o'o$%c%()P!o

'o$%c%()1. a &$ l c'%*l +& A!&)*%).

-. E!&$ lo /01%/o2

3. 456 7-3.

8. "Lo$ P&!!o$ H/9!%&)*o$#.

6. D&$&/o$ !&c:'&!! &l H:0$c!.

;. A/! &$ $c!%<c!$& 'o! l '!&=

>. El *&!!&/o*o &) Ic +&=( 6?@ /:&!*o$.

. L )&! *%&)& *:/9o.

@. M%:&l G!: )c%( &) P%:!

?.El *!%0):lo &$ %)*&l%&)*&

??.C%clo Co* $o) '!o%)c%$

?-. C!lo$ A)*o)%o &$ :) )/&!o !c%o)l.

?3. M& '!&c& :& Jo:) &$*0 *!9=)+o

N.P

N.P

N.P

N.P

N.P

N.P

P

N.P

PN.P

P

N.P

N.P



2.2CUALIDAD.-

A. AFIRMATIVAS.- son las q! "n#"$an na $a%a$&!%'s&"$a o

$al"#a# #!l s(!&o. E(!)*lo+M$,os *a's!s son !%o*!os.

. NEGATIVAS.- son las q! %!$,aan o n"!gan na$a%a$&!%'s&"$a o $al"#a# #!l s(!&o. E(!)*lo+

No ,a/ (!$!s *n&al!s.

2. PROPIEDADES.-

2.1CANTIDAD.-

A. UNIVERSALES.- $an#o !l s(!&o !s&0 &o)a#o !n &o#a s

!&!ns"n E(!)*lo+ Calq"!% s!% ,)ano !s "n&!l"g!n&!.

N"ng3n a4! !s $a#%3*!#a.

. PARTICULARES.- $an#o !l s(!&o !s &o)a#o !n *a%&! #!

s !&!ns"n. E(!)*lo+Algnos *%o5!s"onal!s son )6#"$os.

C"!%&os )6#"$os son *!#"a&%as.



7. CLASIFICACIÓN.-7.1 SIMPLES.- 8a&)"$as9 !l!)!n&al!s o :0s"$as;. Son aq!llas

q! $a%!$!n #! !nla$!s lg"$os o $on(n$"on!s g%a)a&"$al!s<

a#!)0s $a%!$!n #!l a#4!%:"o #! n!ga$"n NO. No s! *!#!n #"4"#"% !n !nn$"a#os )0s s")*l!s. E(!)*lo+

La lg"$a !s #"s&"n&a a la )a&!)0&"$a.

Las *%o*os"$"on!s s")*l!s s! $las"=$an !n+ *%!#"$a&"4as /%!la$"onal!s.

A. PREDICATIVAS.- 8s(!&o>4!%:o>*%!#"$a#o;. Son*%o*os"$"on!s q! a&%":/!n na $al"#a# o $a%a$&!%'s&"$a als(!&o. E(!)*lo+

La Lg"$a !s na $"!n$"a s(!&o V *%!#"$a#o

. RELACIONALES.- 8A % ;. Son *%o*os"$"on!s q! !s&a:l!$!nn n!o !n&%! #os o )0s s(!&os. Es&! n!o no *!#!!l")"na%s!9 %an *o% la $al n s(!&o #!*!n#!%0 #!l o&%on!$!sa%"a)!n&!. Las %!la$"on!s *!#!n s!% #! a=n"#a#9:"$a$"n o g%a#o. E(!)*lo+ ?l"a !s ,!%)ana #! %!n#a R!la$"n #! a=n"#a#

s(!&o R!la$"n S(!&o



7.2 COMPUESTAS.- 8$ol"ga&"4as o )ol!$la%!s;. Son

aq!llas q! !s&0n 5o%)a#as *o% 2 o )0s *%o*os"$"on!s

s")*l!s n"#as *o% n $on!$&"4o lg"$o o9 !s na*%o*os"$"n s")*l! a5!$&a#a *o% !l a#4!%:"o NO. E(!)*lo+

Ca&%o !s n n3)!%o *a% si y sólo si !s #"4"s":l! *o% #os

*%o*os"$"n s")*l! $on!$&o% *%o*os"$"n s")*l!

Las P%o*os"$"on!s Co)*!s&as son+

A. CON?UNCIÓN.- son #os *%o*os"$"on!s s")*l!s n"#as*o% !l &6%)"no @B9 @!B9 @&an&o . $o)o B9 $o)o9

&a):"6n9 a#!)0s9 *!%o9 s"n !):a%go9 "gal)!n&!9anq!9 n"n"9 !&$.B La $on(n$"n !s conmutativa 9 !s#!$"%9 s! *!#! *!%)&a% !l o%#!n #! ss *%o*os"$"on!s$o)*on!n&!s s"n al&!%a% la $on(n$"n. E(!)*lo+

Maana "%6 a la *la/a / (ga%6 P"ng

Pong P%o*os"$"n s")*l! $on(n&o% P%o*os"$"n



. DISUNCIÓN.- son aq!llas *%o*os"$"on!s s")*l!s

n"#as *o% !l &6%)"no #! !nla$! @OB. Son #! #os

$las!s+

D. In$ls"4as.- 8#6:"l;. Son las q! a#)"&!n q! las

#os al&!%na&"4as s! #!n $on(n&a)!n&!. Ss

!nla$!s son+ a )!nos q!9 o :"!n9 o &a):"6n9sal4o9 a )!nos q! A9 . E(!)*lo+

TOMS DE AUINO FUE UN FILÓSOFO

O FUE UN TEÓLOGO.

D. E$ls"4as.- 85!%&!;. Son las q! *lan&!an #os

s"&a$"on!s9 s" !s 4!%#a#!%a na #! !llas9 la o&%a

!s n!$!sa%"a)!n&! 5alsa. Ss !nla$!s son+ o A o 9

o :"!n A o :"!n .



C. CONDICIONALES.- Son las *%o*os"$"on!s q! !*%!sanna %!la$"n #! Casal"#a# !n&%! las *%o*os"$"on!sa5!$&a#as9 *o% !llo a la *%o*os"$"n q! $)*l! !l *a*!l#! $asa s! l! #!no)"na An&!$!#!n&! / a la q! %!sl&as!% !l !5!$&o s! l! lla)a Cons!$!n&!. Es #! #os $las!s+

C. DIRECTA.- 8")*l"$a&"4a;. Can#o !l an&!$!#!n&! !s$on#"$"n n!$!sa%"a *a%a q! s! *!#a #a% !l$ons!$!n&!. La $on$ls"n a*a%!$! #!s*6s #! los

s"g"!n&!s &6%)"nos+ !n&on$!s9 l!go9 *o% lo &an&o9 !n$on$ls"n9 s"!)*%! q! A *o% $ons"g"!n&! 9"n5!%")os9 !&$. E(!)*lo+

• Si est"#io &astante entonces a$ro&ar, L*icaC. INDIRECTA.- 8%!*l"$a&"4a;.- $an#o !l $ons!$!n&!

a*a%!$! *%")!%o / !l an&!$!#!n&! a*a%!$! #!s*6s #!los s"g"!n&!s &6%)"nos+ s"9 /a q!9 *o%q!9 *!s&oq!9 s"!)*%! q!9 *!s9 !s n!$!sa%"o q! A *a%a 9!&$. E(!)*lo+

A*%o:a%6 Lg"$a *!s&o q! !s&#"o :as&an&!



D. ICONDICIONALES.- So) '!o'o$%c%o)&$ $%/'l&$

:)%+$ 'o! *!/%)o$ +& &)lc&K $% $(lo $%, $ $ol/&)*& $%, c:)+o $(lo c:)+o, &)*o)c&$ $(lo&)*o)c&$, $%&/'!& c:)+o, &$ &:%l&)*&, 'o! loc:l $&) lo c:l, &$ lo /%$/o :&, $& +&<)&co/o, &*c. E) *o+ '!o'o$%c%() 9%co)+%c%o)l &l

)*&c&+&)*& &$ co)+%c%() )&c&$!% $:<c%&)*& +&lco)$&c:&)*& &l co)$&c:&)*& &$ co)+%c%() )&c&$!% $:<c%&)*& +&l )*&c&+&)*&.

E=&/'loK

EL TRINGULO ES EUILTERO SI SÓLO SI

TIENE TRES LADOS IGUALES.



E. NEGACIÓN.- 8"n4!%so%;. No !s n !nla$! lg"$o9 *!s s5n$"n no !s n"% a #os *%o*os"$"on!s s")*l!s *a%a 5o%)a% ana *%o*os"$"n $o)*!s&a. Es #! 2 $las!s+

N. INTERNA.- 8l"ga#a;. Can#o a5!$&a a *%o*os"$"on!ss")*l!s &"l"an#o g!n!%al)!n&! la 5o%)a g%a)a&"$al NO. E(!)*lo+

Van!ssa NO !s&#"a $o)*&a$"n

N. EHTERNA.- $an#o a5!$&a a *%o*os"$"on!s $o)*!s&as.Ss 5o%)as g%a)a&"$al!s )0s sal!s son+ !s 5also q!9no !s $"!%&o q!9 no s! #a !l $aso q!9 no !s *os":l! q!9no !s 4!%#a# q!9 !&$. E(!)*lo+

No s! #a !l $aso q! s!as *%o5!s"onal s" no "ng%!sas&! a lan"4!%s"#a#

No !s $"!%&o q! !s&#"as o#on&olog'a / #!%!$,o a la 4!.

Mg. RAMIRO GÓMEZIPARRAGUIRRE



D&*&!/%)! &l *%'o +& '!o'o$%c%() $&)D&*&!/%)! &l *%'o +& '!o'o$%c%() $&)co!!&$'o)+co!!&$'o)+?. A)+!$ A&l%)o C0c&!&$ &$ ll/+o &l "B!:=o +& lo$

A)+&$#.

-. I! L%/ :& )& :) 9&c &) l &$c:&l +& /$%c.3. El *!&$ &$ '! o %/'!.

8. L/9&:& &$ +%$*!%*o :):& */9%) &$ '!o%)c%.

6. P&! Ec:+o! $o) '$&$ l%/*!o&$.

;. C* M!%9&l $o) '!o&$o!$.

>. Lo$ c:&$ $o) ):*!%*%o$, co/o */9%) $o) +o/$*%co$.

. El o/9!& $& +%&!&)c% +& l /:=&! 'o! $: $&1o.

@. J/0$ lo & %$*o l &c%)o.

?.E$ l$o :& &l '&!!o &$ c!)o!o o //&!o.

??.I!$ L%/, &) co)$&c:&)c% $&!0$ '!&/%+o 'o! l

E$c:&l M%l%*!.

?-. El )/&!o - &$ '! o &)*&!o.

?3. C!l&$ B9& &$ &l '+!& +& l co/':*c%().

?8. Jo$ Ol :& +&$o)&$*o co) $: '$.

S. P

COND

D. E

CONJ

S. R

CONJ

CONJ

S. P

NEG

NEG

COND

D. I.

S. P

NEG

Mg. RAMIRO GÓMEZ IPARRAGUIRRE

logica proposicional

Documents