www.neafconcursos.com.br
Contrrio
TODO
NENHUM
Relao
Subalternos
De
Dependncia
Subalternos
I
ALGUM
Relao
De
Dependncia
O
Subcontrrios
PELO MENOS 1
ALGUM NO
PELO MENOS 1 NO
VERDADES E MENTIRAS
Aspecto 01
Se no for verdadeiro (veraz) Ser
mentiroso.
Aspecto 02
Aspecto 03
Aspecto 04
Aspecto 05
Acusando-se algum de
mentiroso, um dos dois ser o
verdadeiro e o outro,
necessariamente, mentiroso.
TIPOLOGIAS DIFERENTES
Acusando-se algum de
verdadeiro, ou os dois
sero verdadeiros ou os
dois sero mentirosos.
TIPOLOGIAS IGUAIS
Perguntado a algum se
ele est mentindo, este
s poder responder:
NO
SIM
TABELA VERDADE
A^C
NEGAO
V
V
F
F
V
F
V
F
V
F
F
F
~(P^Q)
AVC
NEGAO
V
V
F
F
V
F
V
F
V
V
V
F
~(PvQ)
(~P^ ~Q)
AVC
NEGAO
V
V
F
F
V
F
V
F
F
V
V
F
~(PvQ)
V
V
F
F
V
F
V
F
V
V
F
F
V
F
V
F
(~PV ~Q)
(P
C
V
F
F
V
NEGAO
~(P
Q)
(P v Q)
C
V
F
V
V
Q)
NEGAO
~(P
Q)
(P^(~Q)
ANTECEDENTE
V
V
F
F
V
F
F
F
ANTECEDENTE
V
F
V
F
V
V
F
F
BICONDICIONAL
P
V
V
F
F
V
F
F
V
ANTECEDENTE
DISJUNO
EXCLUSIVA
CONSEQUENTE
V
V
F
F
V
V
V
F
V
F
V
F
CONSEQUENTE
ANTECEDENTE
V
F
V
F
V
V
F
F
DISJUNO CONSEQUENTE
V
V
V
V
F
CONDICIONAL
Q
V
F
V
F
CONSEQUENTE
Q
V
F
V
V
V
F
V
F
B
A
1) Ocorrncia: Afirma dentro, afirma fora /Sempre que se afirma a Condio, afirma a concluso.
2) Ocorrncia: negar dentro, fora contingente / Negar a condio, concluso contingente.
3) Ocorrncia: afirmar fora, dentro contingente/ Afirmar a concluso, condio contingente.
4) Ocorrncia: negar fora, negar dentro / Negar a concluso, negar a condio.