LOGICA FORMAL

Ciencia formal que estudia la validez de las inferencias deductivas

CONCEPTOS BASICOS LENGUAJE Sistema de smbolos y signos que usa el ombre !ara CO"#NICA$SE% &#CIONES BASICAS 'E( (EN)#A*E EXPRESIVA APELATIVA INFORMATIVA E"OCIONES+ producir o impedir DESCRIBIR Y RAZONAR acerca SENTI"IENTOS , UNA ACCIN del mundo. Y ES OBJETIVO ACTIT#'ES%

E-P$ESIONES NO P$OPOSICIONA(ES
No son verdaderas o falsas Exclamativas Imperativas sorpresa, admiracin, mandato o prohibicin jbilo o emocin Interrogativas 'esiderativas deseos y anhelos. Pre unta.

EXPRESIONES PROPOSICIONALES
son verdaderas o falsas TIENEN VALOR VERITATIVO !Son verdaderas o falsas" ASEVERAN(#firman o nie an"

PROPOSICION
Es una oraci.n que cum!le la funci.n (A &#NCI/N IN&O$"ATI0A% Es verdadera o falsa% El Valor veritativo es una cualidad solo de las !ro!osiciones+ una !ro!osici.n es verdadera cuando lo que e1!resa corres!onde con la realidad%

INFERENCIA
Es una estructura de !ro!osiciones que tiene de elementos a las !remisas y conclusi.n% C(ASI&ICACION Seg2n su conclusi.n3 Se $n sus premisas% A4 IN&E$ENCIAS IN'#CTI0AS A) INFERENCIAS INMEDIATAS Posee una conclusi.n P$OBAB(E+ Posee una sola premisa de5!remisas !articulares4 a conclusi.n B) INFERENCIAS MEDIATAS general Posee dos o m&s premisas. B4 IN&E$ENCIAS 'E'#CTI0AS SILOGISMOS. son inferencias deductivas mediatas que constan Posee una conclusi.n NECESA$IA+ de solo dos premisas. de5 !remisas generales4 a5 conclusi.n !articular4 Es ob6eto de estudio de (A (/)ICA &O$"A(% VALIDEZ Es una cualidad solo de las inferencias+ una inferencia es valida si la conclusi.n deriva necesariamente de las !remisas%

'

ACADEMIA Prial

!"#ICA

(. )econocer el tipo de inferencia se $n la conclusin !I*+ o +E+" Y se $n las premisas !I*, o ,E+"

-. Indicar cual de los enunciados son proposiciones !P)OP." . no proposiciones !*O P)OP". /estupendo0! " Prohibido fumar ! " 1os astros iran el2pticamente alrededor del sol ! " El 3oala es un oso marsupial. ! " Silencio alumnos. ! " /4u5 horror0 ! " #lto! " 6hola es lunes7 ! " #le8andro ,a no naci en ,acedonia. ! " T$pac #maru fue e8ecutado en 9u:co! " 1a astrolo 2a no es una ciencia. ! " Valle8o es un poeta peruano. ! " El eco de mi vos rita la libertad de tus sue;os. ! " Per$ es un pa2s africano. ! " <'=>?! " 69u&l es tu edad7 ! "
P1 Todo canario es len P2 Todo felino es canario C.. Todo felino es len

/,a nifico0 ! +et5n ase! "

"

+omo @uisiera ir de via8e !

" "

cierto d2a el Per$ entro en crisis! el solidario de Sa.&n. ! "

A. Bna inferencia es una estructura de #" Premisas B" 9onclusiones

!"#ICA

9" Proposiciones +" #firmaciones E" *e aciones C. Ningn ave es mamfero, de all que ningn mamfero es ave. Este enunciadoD se $n su numero de premisasD es un e8emplo de inferencia de tipo #" +eductivo B" Inmediato 9" *e ativo +" ,ediato

'

#E%MA& MAMA&I ME%MA

ACADEMIA Prial

!"#ICA

!"#ICA

#E%MA& MAMA&I ME%MA

LOGICA PROPOSICIONAL
Objeto de estudio LA PROPOS C !" # LA R$LAC !" $"TR$ $LLAS as como la u!ci"! #ue tie!e LOS CO"$CTOR$S L!% COS.

PROPOSICIONES
1. PROPOSICIONES SIMPLES O ATOMICAS 2. PROPOSICIONES COMPUESTAS O MOLECULARES Son aquellas que tienen &OS O MAS SIGNIFI%A&OS unidos por co!ju!cio!es '(amaticales o) en todo caso& tienen el ad*e(bio de !e'aci"! NO.

Tie!e! $N SOLO SIGNIFI%A&O

A+PRE&I%ATIVAS
Se atri'u(e un PRE&I%A&O a un su)eto. Nell, es tmida.

A) CONJUNTIV A
+++++

B) DISYUNTIVA
IN%L$SIVA O &E-IL
Se puede dar las dos a al ve6 ++.O22

EX%L$SIVA O F$ERTE
"o se puede dar las dos ala ve6

0+++++
1, La matem*tica , la
l-ica son ciencias formales. 2, 1e(o2. ., +.adem/s+ /, +tambi3!+ 0, Ta!to +como 1, 2as mismo + 2, +. si! emba('o+ 3, + !o obsta!te+ 4, +i!cluso+ 15, +. i'ualme!te+

-+RELA%IONALE S
ndica una RELA%I.N RE%IPRO%A entre dos o m*s su)etos. %a!ad/ , EE.$$. so! socios eco!"micos.

Ale)andro 'aila o canta

O+++++ O++++
O duerme o esta despierto

C) CONDICIONAL SI a!tecede!te7causa,.ENTON%ES co!secue!te7 efecto,

%ON&I%IONAL &IRE%TA SI estudias ENTON%ES in-resaras %ON&I%IONAL INVERSA in-resaras SIEMPRE <$E estudies +cuando+ +cada *e= #ue2 +dado #ue+ +1o(#ue 21uesto #ue + ..,a #ue.. +si+ +solo si+

4. 2de modo #ue + 5. +de a6 #ue+ 7. +e! co!secue!cia+ 8. +e! co!clusi"!& 9. +lue'o+ :. 21o( co!si'uie!te ;. +1o( lo ta!to+
D) BICONDICIONAL
++++SI

E)NEGATIVA

0 SOLO

SI+++++

$s 8onesto si , solo si dice la verdad +siem1(e , cua!do... +cua!do , solo cua!do + +e!to!ces , solo e!to!ces+

NO22 9i-uel !o es reli-ioso.

Es also #ue + No es el caso #ue No es cie(to #ue Es also #ue. No acu((e #ue

+si , solame!te si+

ACADEMIA Prial

!"#ICA

@" Par2s es la ciudad lu:D no o. #an#"EEEEEEE.. r" 9esar es honestoD &nc!u oEEEEEEEEEEE. s" Ga. lluviaD 'o( con &,u&"n#"D ha. humedad. t" Estudiaste d" %odo )u" in resar&s u" EEEEEEEEEEd" a/$ )u"EEEEEEEEEEEE.. v" EEEEEEEEEE !u",oEEEEEEEEEEEE.. H" EEEEEEEEEE"n conc!u &0nEEEEEEEEEEE E.. I" No es el caso de @ue el perro ladre ." #lan es idealista o materialista :" Triunfo 'u" #o )u" se esfor:. aa"Es ob8etivo ya )u" es vera: bb" EEEEEEEEEE &EEEEEEEEEEEE. cc"EEEEEEEEEE cuandoEEEEEEEEEEEE dd" . Es un n$mero par &"%'(" y cuando sea divisible por dos. ee"EEEEEEEEEE & y o!a%"n#" &EEEEEEEEEEEEEE E ff" 1a man:ana es rica ad"%1 EEEEEEEEEEEE. . " ,5Iico es nacionalistaD &n "%.a(,oEEEEEE

)econoce @ue tipo de proposicin es%

a" 1a educacin me8ora cuando y o!o cuando se ten a una sociedad 8usta. b" EEEEEEEEEE"n#onc" y o!o "n#onc" EEEEEEEEE c" El len es un felino a $ %& %o un mam2fero. d" EEEEEEEEEE 'o()u"EEEEEEEEEEEE. e" EEEEEEEEEcada *"+ )u"EEEEEEEEEE f" EEEEEEEEEEdado )u"EEEEEEEEEEEE. " EEEEEEEEEE o!o &EEEEEEEEEEEE. h" Jos5 es estudiante '"(o traba8a. i" El perro no ladra. 8" EEEEEEEEEE'o( !o #an#oEEEEEEEEEEEE.. 3" EEEEEEEEEE"n con "cu"nc&aEEEEEEEEEE EE.. l" #re@uipa es re ionalista &,ua!%"n#"EEEEEE.. m" No es cierto @ue el perro ladre. n" E -a! o )u" el perro ladre. o" Filliam es atleta o )afael es deportista p" No acurre @ue el perro ladre.

!"#ICA

hh" 9uba es potencia del deporte #a%.&2nEEEEEE. ii" E -a! o )u" Jlvaro . len sean postulantes.

#E%MA& MAMA&I ME%MA

88" El acero es resistente ha ser deformado. 33" Se undo es primo de 8ulio. ll" K . = son n$meros consecutivos.