PROPOSIES

P
P

^
V

CONDIO
PARA SER
VERDADEIRA

NEGAO

VV

~P

~q

FF

~p

~q

VF

~q

NO
CUMUTATIVO
P

PROPOSIES

VF

ou

FV

NEGAO
P

~q

(p ^ ~q) v (~P
^ q)
EQUIVALENCIA
S NOTAVEIS
~P
V q

~q

P Suficiente q

q Necessario p

(p ^ ~q) v (~P
^ ~q)

~p

P Nec e Suf q

Todo A B (algum B A) algum A B (algum B A)

nenhum A B

(nenhum B A)

PREMISSAS

CONCLUSO

ARGUMENTO

VERDADEIRAS

VERDADEIRA

VLIDO

VERDADEIRAS

FALSA

PELO MENOS
UMA FALSA

VERDADEIRA

PELO MENOS
UMA FALSA

FALSA

INVLIDO,
SOFISMA,
FALCIA
INVLIDO,
SOFISMA,
FALCIA.
VLIDO

Algum (p,q)
Negao
Negao

Todo (p,~q)

Equivalncia

Nenhum (p,q)
QUATIFICADORES LOGICOS (TODO , NENHUM, ALGUM = PELO MENOS
UM=EXISTE)