la lÓgica es la rama de la filosofía que se encarga de estudiar los razonamientos con el fin de...

La LGICA es la rama de la filosofa que se encarga de estudiar los razonamientos con el fin de determinar cules razonamientos son vlidos y cules no. Los RAZ!A"I#!$%& a su vez& son estructuras ling'sticas que constan de (ro(osiciones) entre estas algunas funcionan como (remisas y otras como conclusiones. Las *R#"I%A% son las (ro(osiciones con las cuales intentamos dar sustento a las conclusiones de nuestro razonamiento. !o es lo mismo decir +no toques eso, que decir +no toques eso& (orque tiene electricidad,. #n este -ltimo caso .emos dado una /uena raz0n mediante la cual indicamos que es conveniente no tocar tal o cual cosa. La C!CL1%I!& (or su (arte& es aquella (ro(osici0n que queremos afirmar& o negar.1n razonamiento es vlido cuando nos garantiza& (or su (ro(ia estructura formal& que si tengo (remisas verdaderas& tendr2 necesariamenteuna conclusi0n verdadera .1na *R*%ICI! es un enunciado ling'stico que tiene una funci0n informativa y que& eso mismo& (odemos evaluarcomo verdadero o como falso.3. 4ormalizaciones*ara formalizar (ro(osiciones necesitamos 3 elementos) 56 7ARIA8L#% *R*%ICI!AL#%) +(& q. r& s& t9,: ;6 C!#C$I7A% LGICA%) negaci0n& con4IC%) (ar2ntesis& corc.etes y llaves.La 4R"ALIZACI! de una (ro(osici0n cualquiera se .ace en tres (asos. 5?@ I=#!$I4ICA"% LA% *R*%ICI!#% %I"*L#%& es decir& cules son las unidades mnimas de sentido del enunciado a formalizar. *or e