4. LGICA SIMBLICA4.1. Formalizacin o simbolizacin del lenguaje - La Lgica simblica tambin determina las inferencias vlidas - Utiliza otros instrumentos, no slo el silogismo - Los distintos tipos de silogismo complicaban el anlisis - Intenta lograr un lenguaje artifcial - Ese lenguaje trata de evitar - e!presiones vagas " ambiguas - modismos " metforas #ue pueden generar e#uivocacin - el lenguaje emotivo - $dems, facilita la visualizacin de la estructura lgica impl%cita - &ara eso, traduce las argumentaciones del lenguaje natural a su estructura - El primer paso es identifcar las conectivas lgicas fundamentales-parntesis '(, )*, +, sirven para indicar el alcance de las conectivas " evitarambig-edades- con los s%mbolos lgicos formaremos e!presiones- luego establecemos algunas reglas para su buena formacin 'fbf o ebf(- como en .astellano, no todas las combinaciones de letras tiene sentido- es necesario reglas sintcticas para obtener las proposiciones/Reglas de formacin:1. Las roosiciones simles son el !io de roosicin m"s b"sico # se deno!an con le!ras roosicionales$ % &% r% s% ... '. Si A es una roosicin% !ambi(n lo es s )A. *. Si A # B son roosiciones% !ambi(n lo son +A , B-% +A . B-% +A / B-% +A 0 B-.4. Slo se ueden cons!ruir roosiciones con alguno de los asos an!eriores.1s!ra!egias de 2ormalizacin$0/ Identifcar las conectivas " los enunciados atmicos 'variable proposicional(0/0/ &unto " coma 1 conjuncin2 punto 1 diferenciador de enunciados3/ .onclusin 1 43/0/ Las premisas van enumeradasEjemplosHomersapiensp 5 #'-Si!u!el(2onono2unciona%lorimero&uedebes 3acerescomrobar&ueelcablees!(bienconec!ado. 1l!el(2onodebees!arconec!adoaunenc3u2eblanco condoscone4iones.5nadeellasesdecolorrojo#la o!ra de color azul. Indeendien!emen!ede loscolores% el!el(2onosiemreseconec!aala&uees!"ala derec3a/6 7u !el(2ono 2unciona & 6 1l cable es!" bien conec!ado. r 6 1s!" conec!ado a un enc3u2e blanco. s 6 1l enc3u2e !iene una cone4in roja. ! 6 1l enc3u2e !iene una cone4in azul. u 6 1s!" conec!ado a la cone4in de la derec3a. 1- ) / )& '- & / r *- r / +s , !- 4- & / u

Enunciadosatmicosling-%sticamentediferentes pero#uee!presenlomismo'lamisma proposicin(7andeserformalizadosmediantela misma variableproposicional/Laestrelladelamaanaesunodelos planetas de nuestro sistema solar.Laestrelladelatardeesunodelos planetasquecirculanalrededordenuestro sol.JuanGarcacomprunvehculocon matrcula de Montevideo.UnvehculoconmatrculadeMontevideo fue comprado por Juan Garca.4. Iden!i8car !odas las negacionesA 9eces aarecen in!ercaladas +ej. :-$ dobles negaciones &ue signi8can una negacin simle$ ;uan se 9a a Bariloc3e es or&ue arueba !odos los e4"menes% ero si se &ueda en casa es!udiando es or&ue los rerueba.6 >uan se 9a a Bariloc3e & 6 >uan arueba los e4"menes r 6 >uan se &ueda en casa + / &- , +r / ) &-8/ 9i 7a" una o ms argumentaciones en el te!to, 7a" #ue indicarlas premisas 'con guin " n:mero(, " la conclusin '4 (/Ejemplos0( ;>>p3( Est lloviendo o nevando o ninguna de las dos cosas/- p " # o ni p ni #- 'p 5 #( ? '>p 5 >#(;9i llueve es por#ue la presin atmosfrica es baja " 7a" nubes/ 9in embargo, si no 7a" nubes " 7a" alta presin, no puede llover=/Llueve 1 p&resin atmosfrica baja 1 #@a" nubes 1 r- 0( p A '# 5 r(- 3( > '# 5 r(4 >pCondicional$ obser9acionessusigni8cado$unadelascues!ionesm"s ol(micas de los es!udios de lgicala!radicindelaLgicasimblica3adado re2erenciaalusoma!em"!icoende!rimen!o del lenguaje na!uralcondicional or rediccin$1j.$ Si 3a# o4@geno% en!onces 3a# 2uego.condicional or diagns!ico$1j.$ Si 3a# 2uego% en!onces 3a# o4@geno.Aen!ajas$ se adecua mejor al lenguaje na!ural se alica a la relacin de causaBe2ec!o no es incoma!ible con el Modus tollens p 'condicin sufciente( A # 'condicin necesaria(Ejemplo Si Fainara!e es madre en!onces Fainara!e es mujer. 1s su8cien!e &ue Fainara!e sea madre ara &ue sea mujer. 1s necesario &ue Fainara!e sea mujer ara &ue sea madre. Slo si Fainara!e es mujer en!onces Fainara!e uede ser madre. Fainara!e es madre% slo si es mujer. Fainara!e es mujer% si es madre.