Slloglsmos

W C slloglsmo e uma
forma de racloclnlo
deduLlva na sua forma
padronlzada e
consLlLuldo por Lrs
proposles As duas
prlmelras denomlnam
se premlssas e a
Lercelra concluso
W LxlsLem Lrs grandes
Llpos de slloglsmo C
nosso esLudo apenas
lncldlr sobre o
slloglsmo caLegrlco
regular
@lpos de Slloglsmo
Slloglsmos CaLegrlcos 8egulares
W Slloglsmos consLlLuldos
por Lrs Lermos e Lrs
proposles
caLegrlcasAs premlssas
so apresenLadas forma
absoluLa e lncondlclonal
A relao enLre esLas e a
concluso e
consLrangenLe lsLo e
necessrla LsLa e a forma
padro do slloglsmo
W Lxemplo
W @odas as balelas so
mamlferos
W Alguns anlmals so
balelas
W Logo alguns anlmals so
mamlferos
Slloglsmo CaLegrlco lrregulares
W LnLlma W Slloglsmo lncompleLo
onde falLa pelo menos
uma premlssa (esL
subenLendlda)
W Lxemplo Lu penso
logo exlsLo
Slloglsmo CaLegrlco lrregulares
W Lplquerema W Slloglsmo no qual uma
ou duas premlssas so
acompanhadas das suas
provas
W Lxemplo
@odo o 8 e C porque e u
@odo o A e 8 porque e P
Logo Lodo A e C
W 9ollsslloglsmo W @raLase de um argumenLo
consLlLuldo por dols ou mals
slloglsmos dlsposLos de modo
a que a concluso do prlmelro
se[a uma premlssa do segundo
e asslm sucesslvamenLe
W Lxemplos
8 e C
A e 8
Logo A e C
u no e C
Logou no e A
W SorlLes W @raLase de um argumenLo
que Lem pelo menos quaLro
proposles com os seus
Lermos encadeados de
forma correcLa
W Lxemplo
C verLebrado Lem sangue
vermelho
C mamlfero e verLebrado
C carnlvoro e mamlfero
C leo e carnlvoro
Logo C leo Lem sangue
vermelho
Slloglsmos PlpoLeLlcos
W Condlclonals W Slloglsmo em que a
premlssa malor no
aflrma nem nega de
modo absoluLo mas a
LlLulo condlclonal
W Lxemplo
Se chover no vamos ao
fuLebol
Chove
Logo no lremos ao fuLebol
W uls[unLlvos W Slloglsmo em que a
premlssa malor se
apresenLa sob a forma
alLernaLlva
Lxemplo LsLe Lrlngulo ou
e lssceles ou escaleno
Cra esLe Lrlngulo e
escaleno
Logo esLe Lrlngulo no e
lssceles
W ullema W ArgumenLo onde so
apresenLadas duas alLernaLlvas
posslvels mas nenhuma e
dese[vel
W Lxemplo clsslco sobre um
aluno com maus resulLados
em lglca C aluno ou
esLudava ou no esLava Se
esLudava merece ser casLlgado
porque no aprendeu a
maLerla como era seu dever
se no esLudava merece
lgualmenLe ser casLlgado
porque no cumprlu o seu
dever
LsLruLura do slloglsmo caLegrlco
regular 8elao enLre as proposles
W 9remlssa malor
W @odo o alenLe[ano (A) e
porLugus (8)
W @odo o A e 8
W 9remlssa menor
W Cs barranquenhos (C) so
alenLe[anos (A)
W @odo o C e A
Concluso
Cs barranquenhos (C) so porLugueses(8)
@odo o C e 8
8elao enLre os Lermos
W @ermo Malor
W porLugus
W @ermo de malor
exLenso lnLegra a
premlssa malor e aparece
como predlcado da
concluso
W @ermo medlo alenLe[ano
W @ermo de exLenso
lnLermedla 8epeLese nas
duas premlssas mas no
aparece na concluso
@ermo menor barranquenho
@ermo de menor exLenso lnLegra a
premlssa menor e e su[elLo da concluso