TABELA DOS CONECTIVOS

Conectivo Smbolo Linguagem Literal Definio

Negao
, ~
no p, no verdade que p no p tem valor oposto a p
Conjuno
. p e q verdade quando p e q so ambas verdadeiras
Disjuno
v p ou q falsidade quando p e q so ambas falsas
Disjuno Exclusiva v ou p ou q falsidade quando p e q possuem valores lgicos iguais
Condicional se p ento q falsidade quando p verdadeira e q falsa
Bicondicional p se e somente se q verdade quando p e q possuem valores lgicos iguais
Negao Conjunta + no p e no q verdade quando p e q so ambas falsas
Negao Disjunta | no p ou no q falsidade quando p e q so ambas verdadeiras
Implicao p implica em q no ocorre VF (nessa ordem) em nenhuma linha
Equivalncia p equivale a q somente ocorrem valores VV e FF

p q p q p . q p v
q p v
q p q p
q p + q p |
V V F V V F V V F F
V F F F V V F F F V
F V V F V V V F F V
F F V F F F V V V V

Classificao Definio
Tautologia A ltima coluna da tabela-verdade formada apenas pelo valor lgico verdade
Contradio A ltima coluna da tabela-verdade formada apenas pelo valor lgico falsidade
Contingncia Na ltima coluna da tabela-verdade, ocorrem os valores verdade e falsidade, pelo menos uma vez cada um
Argumento Vlido Seqncia p
1
, p
2
, ..., p
n+1
, N e n , tal que a conjuno das n primeiras premissas implica na ltima:
1 2 1 +
. . .
n n
p p p p
TABELA DAS REGRAS DE INFERNCIA
Regra Simbolicamente Deduo
ADIO (AD) p q p ii q p p i v v ) ( ) (
dada uma proposio, dela se pode deduzir a sua
disjuno com qualquer outra proposio
SIMPLIFICAO (SIMP) q q p ii p q p i . . ) ( ) (
dada conjuno de 2 proposies pode-se deduzir cada 1
das proposies
CONJUNO (CONJ) p q q p ii q p q p i . . , ) ( , ) ( de 2 proposies dadas, deduzir a sua conjuno
ABSORO (ABS)
q p p q p .
de uma condicional, deduzir outra condicional com o
mesmo antecedente e cujo o conseqente a conjuno
das 2 proposies que integram a premissa
MODUS PONENS (MP)
q p q p ,
a partir de 1 condicional e seu antecedente, deduzir seu
conseqente
MODUS TOLLENS (MT)
p q q p ,
a partir de 1 condicional e a negao de seu conseqente,
deduzir a negao de seu antecedente
SILOGISMO DISJUNTIVO (SD) p q q p ii q p q p i v v , ) ( , ) (
deduzir da disjuno de 2 proposies e da negao de
uma delas, a outra proposio
SILOGISMO HIPOTTICO (SH)
r p r q q p ,
em 2 condicionais cujo conseqente da 1 coincide com o
antecedente da 2 deduzir uma condicional com o
antecedente da 1 e o conseqente da 2
DILEMA CONSTRUTIVO (DC)
s q r p s r q p v v , ,
as premissas so 2 condicionais e a disjuno de seus
antecedentes, a concluso a disjuno dos conseqentes
DIDELA DESTRUTIVO (DD)
r p s q s r q p v v , ,
as premissas so 2 condicionais e a disjuno da negao
seus conseqentes, a concluso a disjuno da negao
dos antecedentes
BICONDICIONAL (BIC) q p p q q p i . ) ( ) ( ) ( e vice-versa
conjuno de 2 condicionais cujo antecedente de uma o
conseqente da outra e v.v. e a concluso a
bicondicional das 2 proposies
SIMPLIFICAO DISJUNTIVA (S.) p r p r p v . v ) ( ) (
conjuno de 2 disjunes (2 proposies e 1 proposio e
sua negao), a concluso a 1 proposio