Escolar Documentos
Profissional Documentos
Cultura Documentos
Master Dicas Raciocínio Lógico 1 PDF
Master Dicas Raciocínio Lógico 1 PDF
Master Dicas Raciocínio Lógico 1 PDF
Thiago Pacfico
Todo A B
Algum A B
Nenhum A B
Todo A no B
Algum A no B
Nenhum A no B
Nenhum A B
Todo A B
=
=
=
=
=
=
=
=
Todo A no no B
Algum A no no B
Nenhum A no no B
Todo A no B
Algum A no B
Nenhum A no B
Todo A no B
Nenhum A no B
A negao de Todo A B
Algum A no B
(e vice-versa)
A negao de Algum A B
Nenhum A B
(e vice-versa)
SMBOLOS UTILIZADOS
no
e
Ou
Ou... Ou
se ... ento
se e somente se
Implica
Equivalente
implicao)
Condicional ... se e somente se...", cujo smbolo " ". (relao
de equivalncia)
RESUMO DAS NEGAES DAS PROPOSIES
Afirmao
( x) (p(x))
( x) (p(x))
pq
pq
p q
q p
p q
Negao
( x) (~p(x))
( x) (~p(x))
(~p) (~q)
(~p) (~q)
p (~q)
q (~p)
(p ~q) (q ~p)
TABELA VERDADE
Sejam p e q duas proposies simples, cujos valores lgicos representaremos por (F) quando falsa e
(V) quando verdadeira. Podemos construir a seguinte tabela simplificada:
Observao
As expresses matemticas que no podem ser chamadas de verdadeiras ou de
falsas, no formam uma proposio, mas sim uma sentena aberta.
TABELA VERDADE
p
V
V
F
F
q
V
F
V
F
pq
V
F
F
F
pq
V
V
V
F
pq
F
V
V
F
p q
V
F
V
V
pq
V
F
F
V
verdade quando
falso quando
p e q so ambos, verdade
p e q, ambos, so falsos
pq
p verdade e q falso
pq
~p
p falso
p verdade
A B
A SUFIENTE para B
~B ~A
~B SUFIENTE para
~A
A B
B NECESSRIO para A
~B ~A
~A NECESSRIO para ~B