RACIOCÍNIO LÓGICO – PROFESSOR NELSON CARNAVAL

RESUMÃO
LÓGICA DAS PROPOSIÇÕES PARA CONCURSOS

PROPOSIÇÕES
Necessário e suficiente
Chama-se proposição ou sentença toda oração pq p é condição suficiente para q
declarativa que pode ser classificada em verdadeira ou q é condição necessária para p
falsa, mas não as duas. pq p é a condição necessária e suficiente para
O valor lógico de uma proposição verdadeira é q.
denotado por V e o de uma proposição falsa é q é a condição necessária e suficiente para
representado por F. p

NUMERO DE LINHAS DE UMA TABELA-VERDADE. Tautologia é a proposição composta que é sempre

verdadeira.
O numero de linhas da tabela-verdade de uma
proposição composta com n proposições simples é 2n . Contradição a proposição composta que é sempre
falsa.
NÃO PODEMOS TER ARGUMENTOS VÀLIDOS
COM PREMISSAS VERDADEIRAS E CONCLUSÃO Contingência a proposição composta pode ser
FALSA. verdadeira ou falsa.

Como determinar a validade de um argumento? As proposições p  q ; ~ q  ~ p; e ~ p v q são

Admita que as premissas sejam verdadeiras, mesmo logicamente equivalentes.
que não sejam. Há a possibilidade de que
considerando as premissas verdadeiras, a conclusão Assim, dada a proposição p  q, podemos construir o
seja Falsa ? Se isso pode acontecer (premissas seguinte algoritmo para construir essas proposições
verdadeiras e conclusão falsa) então o argumento é equivalentes notáveis.
invalido, um sofisma, uma falácia. Se não, então o
argumento é válido. ~q~p Negue o antecedente e o conseqüente,
troque a ordem e mantenha o conectivo
p q pq p q p q
“se..., então” (NEGUE VOLTANDO)
V V V V V V
~pvq Negue apenas o antecedente e troque o
V F F V F V conectivo por “ou”
F V F F V V
F F F F F F Negação das proposições usuais.
Afirmação Negação
p ~p
p q pq p q Pq pq ~p  ~ q
V V V V V V pq ~p  ~ q
V F F V F F pq p ~ q
F V V F V F
F F V F F V Afirmação Negação
pq Negue as duas proposições e troque o
conectivo “e”pelo conectivo “ou”
Conjunção As duas proposições p, q devem pq Negue as duas proposições e troque o
pq ser verdadeiras conectivo “ou” pelo conectivo “e”
Ao menos uma das proposições pq Afirme o antecedente, troque o conectivo
Disjunção p, q deve ser verdadeira. Não pode condicional pelo conectivo “e” e negue o
p q ocorrer o caso de as duas sarem conseqüente.
falsas.
Não pode acontecer o caso de o TODO , ALGUM E NENHUM - NEGAÇÕES
Condicional antecedente ser verdadeiro e o Afirmação Negação
conseqüente ser falso. Ou seja, não Particular afirmativa Universal negativa
pq pode acontecer V(p)= V . e V(q) = F. (“algum....”) (“nenhum..”ou”
Em uma linguagem informal, todo...não...)
dizemos que não pode acontecer V Universal negativa Particular afirmativa
F, nesta ordem. (“nenhum....”ou” (“algum......”)
Os valores lógicos das duas todo.....não)
Bicondicional proposições devem ser iguais,.ou as Universal afirmativa Particular negativa
duas são verdadeiras, ou as duas (“todo.....”) (algum...não)
pq são falsas Particular negativa Universal afirmativa
(algum....não) (“todo...”)

NELSON CARNAVAL
RESUMO DE LÓGICA Página 1