-
7/26/2019 LGICA Clase
1/17
LGICAFormal, simblica, artifcial.
-
7/26/2019 LGICA Clase
2/17
Qu tienen en comn los siguientesenunciados?
1. Todas las palmeras son exticas
2. Si nri!"e #a al cine entoncespasar$ "n b"en rato.
%. l mal es distinto del bien.a& Al'"nas or!"(deas son
)ermosas
b& *amiro lee este libro con c"idado + loentender$ bien
c& La ciencia es idntica a la #ida.
I. Todas las orqudeas hermosas
II. Si Ramiro lee este libcuidado, entonces loentender bien.
III. a ciencia es distinta!ida.
-
7/26/2019 LGICA Clase
3/17
-" tienen en com/n los si'"ientesen"nciados0
Si todos los )ombres son mortales +todos los s"ecos son )ombres,
entoncestodos los s"ecos son mortales.
Las doctrinas pol(ticas son "tpicas o lasdoctrinas pol(ticas no
son "tpicas.
Si todos los obetosespaciales + todos son obetos (sicos los
planetas son es
Los man"ales de l
ab"rridos o los manl'ica no son ab"rr
Si todos los )ombres son mortales + todos loss"ecos son
ab"rridos, entonces todos losa"stralianos son pere3osos.
Las doctrinas pol(ticas son "tpicas o lasdoctrinas pol(ticas no
son interesantes.
-
7/26/2019 LGICA Clase
4/17
"e qu se ocu#a la $gica
Si los len'"aes de las ciencias son len'"aepart(c"las l'icas
est$n presentes en todos disc"rsi#os. ntonces el len'"ae l'ico es
e
todos los len'"aes por!"e est$ presente enciencias.
Ima'en extra(da de la portada al L'ica 5atem$tica de 6os
Ferrater 7"'"es Leblanc, editado por FC, 5
1899.
-
7/26/2019 LGICA Clase
5/17
:ocab"lario l'ico4 "so + mencin de los si'nos
;
-
7/26/2019 LGICA Clase
6/17
L'ica p"ede entenderse de dos maneras4
1. Sistema de si'nos l'icos !"e est$ en la base de
toddisc"rso.
2. >na serie de metalen'"aes en los c"ales es posible)ablar
de dic)os si'nos l'icos4 5eta l'ica.
La ciencia encar'ada de est"diar dic)os si'nos l'icos +s"s
relaciones es la SEMITICA.
-
7/26/2019 LGICA Clase
7/17
*amas del est"dio semitico4
SI
-
7/26/2019 LGICA Clase
8/17
Cundo podemos hablar de Lgica ormal!
C"ando se en"meran en ella todos los si'nos no defnidos
Se especifca en !" condiciones "na rm"la dadapertenece al
sistema.
Se en"meran los axiomas "sados como premisas + lasre'las de
inerencia consideradas como aceptables.
-
7/26/2019 LGICA Clase
9/17
-
7/26/2019 LGICA Clase
10/17
-
7/26/2019 LGICA Clase
11/17
Conjuncin
-
7/26/2019 LGICA Clase
12/17
Negacin
-
7/26/2019 LGICA Clase
13/17
Disyuncin
-
7/26/2019 LGICA Clase
14/17
Condicional
-
7/26/2019 LGICA Clase
15/17
Bicondicional o equivalencia mateial
-
7/26/2019 LGICA Clase
16/17
Simbolice los siguientes enunciados conel !ocabulario del
&lculo #ro#osicional.
1. s also !"e ella sea moderada + t" paciente.
2.
-
7/26/2019 LGICA Clase
17/17
