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