Professional Documents
Culture Documents
. v
v . Negao da conuno:..........
Negao da disuno:...........
Negao da dis. exclusiva:....
Negao da condicional:........
Negao da bicondicional:.....
ExempIo da de uma :
PauIo padre CarIos corredor.
PauIo padre CarIos corredor.
ExempIo da de uma :
Rose nori ouCatIa nochora.
Rose ri e CatIa chora.
ExempIo da de uma :
8eto estuda LIa dorme.
8eto estuda se e somente se LIa dorme.
ExempIo da de uma :
Se Rute beia, entoMarceIo noestuda.
Rute beia e MarceIo estuda.
ExempIo da de uma :
RIta vIaja se e somente se 8Ia trabaIhar.
RIta vIaja e 8Ia notrabaIha ou8Ia trabaIha e RIta novIaja.
ExempIo de peIa :
Se Leo noama, entoAna sorri.
Leo ama ouAna sorrI.
ExempIo da peIa :
Se Leo noama, entoAna sorri.
Se Ana nosorri, entoLeo ama.
negao conuno
e no
Negao: no ou
negao disuno
Negao:
negao disunoexclusiva
Ou ou
Negao:
negao condicional
Negao:
negao bicondicional
Negao:
equivalncia Teoria da lnvoluo
Equivalncia:
equivalncia Contrapositiva
Equivalncia:
Afirmao:
Afirmao:
Afirmao:
Afirmao:
Afirmao:
Afirmao:
Afirmao:
Uma do tIpo pode ser
expressa (dIta) de varIas Iormas. EIs aIgumas:
Se ,
Quando ,
implica em
, Se
somente se
condio suficiente para
suficiente que , para que
condio necessria para
necessrio que , para que
Todo
Seja a seguInte proposIo condIcIonaI:
Se ento
Se
Quando
implica em
se
somente se
condio suficiente
suficiente que
condio necessria
necessrio que para que
Toda vez que
proposio condicional "Se A, ento "
A
A
A
A
A
A
A 8
A
A
A
Zeca e gentII, Teresa no recIama.
Zeca e gentII, Teresa no recIama.
Zeca e gentII, Teresa no recIama.
Zeca ser gentII Teresa no recIamar.
Teresa no recIama, Zeca Ior gentII.
Zeca e gentII Teresa no recIama.
Zeca ser gentII para Teresa no recIamar.
Zeca seja gentII para que Teresa no recIame.
Teresa no recIamar para Zeca ser gentII.
Teresa no recIame Zeca seja gentII.
Zeca e gentII, Teresa recIama.
1 representao:
2 representao:
3 representao:
4 representao:
5 representao:
6 representao:
7 representao:
8 representao:
9 representao:
10 representao:
Pela teoria da involuo:
Pela Contrapositiva: A) (~ 8) ( 8 A
8 A) (~ 8 A
v
b
.:
to
s
a
u
e
p
r
m
e
d
a
s
f
a
s
s
O
s
r
e
q
e
x
i
m
p
n
s
m
e
n
d
e
e
a
to
e
t
o
o
p
Ie
o
s
n
id
c
m
t
s
o
o
s
e
a
d
s
!
c
n
id
r
a
r
o
p
s
I
s
p
o
i
e
s
g
ic
a
. v v
TautoIogia - Contradio - Contingncia
o u s fi c i ie d
n n
t o e
C
C
o
n aid ri
s so en ce
DupIa negao (Teoria da InvoIuo)
Seja "A" uma proposIo verdadeIra. Logo:
A = V
~A = F A ~(~A)
~(~A) = V
"A dupIa negao, gera uma aIIrmao"
Uma afirmao Iormada por umnmero IInIto de , ,
..., , que tem como consequencIa outra , , e
denomInada , quando as proposIes , , ..., so as
e e a . Se, emum , a Ior
uma das de suas ,
ento, dIzemos que este e ( )
Sejamas premIssas , e e a concIuso .
Pedro e pedreIro PauIo no e msIco.
PatricIa e medIca, PauIo e MsIco.
Ana e pIntora, PatricIa e medIca.
Lembrando que, para que esse Iorme um
, essas devero ser .
Sendo a premIssa uma , suas que a
compe sero, , ambas, , portanto,
e .
Sendo a premIssa uma , e conhecendose o vaIor de sua
como , ento sua
devera ser, necessarIamente, , caso contrarIo a premIssa sera
. Portanto, .
Por ItImo, temse que a premIssa , representada por uma
se uma de suas partes Ior e a outra, .
Sabendose que sua e , Iogo, sua
devera ser, , , por
conseguInte, concIuimos que .
: ; ;
e .
proposies
proposio
argumento
premissas concluso argumento concluso
verdades premissas
argumento vlido
Deduopara as concluses:
conuno
necessariamente
Pedro pedreiro Paulono msico
condicional
Patrcia no mdica
disuno
exclusiva
necessariamente
Ana pintora
Pedro pedreiro Paulo no msico Patrcia no
mdica Ana pintora
A A
1 2
A 8
n
A A A
1 2 n
8
consequncia obrigatria
tautologia
Exemplo: A A A 8
1 2 3
A : e
1
A : Se ento
2
A : Ou ou
3
conunto de premissas
argumentovlido todas premissas verdadeiras
A proposies simples
1
verdadeiras
A
2
2 premissa simples falsa 1 premissa simples
falsa A
2
falsa
A
3
verdadeira falsa
2 premissa simples falsa
1 premissa simples verdadeira
: (concluses)
Proposies Categricas
TIpos de Iormadas comos seguIntes termos: ,
e . So chamadas de .
TaIs proposIes aIIrmam que o conjunto A est contido no conjunto
, ou seja, todoe qualquer elementode A, tambm elementode .
Observao:
DIzer que Todo A no sIgnIIIca o mesmo que Todo A.
So as seguIntes expresses:
- TodohomemracIonaI pensador.
- Qualquer homemracIonaI pensador.
- Cada homemracIonaI pensador.
TaIs proposIes aIIrmamque os conjuntos A e so disuntos, Isto e,
A e nopossuemelementos emcomum.
DIzer que NenhumAe 8 e a dIzer que:
- Nenhum IIamenguIsta vascaino.
- Nenhumvascaino IIamenguIsta.
De maneIra geraI, proposIes da Iorma AlgumA estabeIecemque
o conunto A tem pelo menos um elemento em comum com o
conunto . Contudo, quando dIzemos que AlgumA , presumImos
que nemtodoA .
proposies
proposies categricas
Todo
Nenhum
Algum
Algum no
TodoA
equivalentes
NenhumA
logicamente equivalente
AlgumA
todo algum
nenhum
Universais:
Particulares:
a) Afirmativa Universal:
b) Negativa Universal:
c) Afirmativa particular:
So cIassIIIcadas em:
A (afirmativa universal)
A (negativa universal)
A (afirmativa particular)
A (negativa particular)
Representaoemdiagrama:
Representaoemdiagrama:
DIzer que e a dIzer que Algum
A.
Tambem, so as expresses seguIntes:
- AlgumbrasIIeIro adotado.
- Pelomenos umbrasIIeIro adotado.
- Existe umbrasIIeIro que adotado.
ProposIes na Iorma estabeIecem que o conjunto A
tempelomenos umeIemento que nopertence ao conjunto .
DIzer que AIgumAno e 8 e IogIcamente equIvaIente a dIzer que:
- AlgumpoIIcIaI no honesto
- AlgumpoIIcIaI nohonesto
- Algumnohonesto poIIcIaI.
- o .
O , usado para transIormar
em , e IndIcado peIo
simboIo " " que se Ie: "quaIquer que seja", "para todo", "para cada".
Daremos aIguns exempIos:
1) ( )(x + 5 = 9): Iese "quaIquer que seja x, temos que x + 5 = 9"
(falsa)
2 2
2) ( )(x + 2x 6 = 0): Iese "para todo x, x + 2x 6 = 0" (falsa)
3) ( )(x 1 > 7): Iese "para cada vaIor de x, temos que x 1 > 7"
(falsa)
O e IndIcado peIo simboIo: " "
que se Ie: "exIste", "exIste peIo menos um" e "exIste um". Daremos
aIguns exempIos:
1) ( )(x + 5 = 9): Iese "exIste um nmero x, taI que x + 5 = 9"
(verdadeira)
2
2) ( )(x + 4x 9 = 0): Iese "exIste peIo menos umnmero x, taI
2
que x + 4x 9 = 0" (verdadeira)
3) ( )(3x + 4 > 8): Iese "exIste umnmero x, taI que 3x + 4 > 8"
(verdadeira)
) Seja uma , do tIpo ( )(A(x)), sua negao sera
dada da seguInte Iorma: substItuI o peIo
e negase A(x), obtendo: ( )(A(x)).
ExempIo: sentena: ( )(x + 4 = 13)
negao: ( )(x + 4 = 13)
) Seja uma , do tIpo ( )(8(x)), sua negao sera
dada da seguInte Iorma: substItuI o peIo
e negase 8(x), obtendo: ( )(8(x)).
2
ExempIo: sentena: ( )(2x = x )
2
negao: ( )(2x = x )
AlgumA
Algum A no
Nemtodo poIIcIaI h nesto
logicamente equivalente
equivalentes
AlgumA no
proposies abertas proposies fechadas
quantificador universal
existencial
quantificador existencial
universal
Representaoemdiagrama:
Representaoemdiagrama:
d) Negativa particular:
Negaode uma proposiocategrica
Pela recprocra da negao, teremos:
O quantificador universal
quantificador universal
O quantificador existencial
quantificador existencial
Negaodas proposies quantificadas
sentena quantificada
sentena quantificada
Proposies quantificadas ou funcionais
8 e A AIgum 8) e A (Nenhum ~
8 e no A AIgum 8) e A (Todo ~
8 e A Nenhum 8) e A (AIgum ~
8 e A Todo 8) e no A (AIgum ~
x
x
x
x -
x -
x -
-
x -
x
x
x -
x -
x
x
x -