Prof.

Guilherme Neves - Raciocínio Lógico

Proposições p→q p é condição suficiente para q
q é condição necessária para p
Chama-se proposição ou sentença toda oração p↔q p é condição necessária e suficiente para q
declarativa que pode ser classificada em q é condição necessária e suficiente para p
verdadeira ou falsa, mas não as duas.

Não são proposições as frases imperativas, Tautologia é a proposição composta que é sempre
interrogativas, exclamativas e optativas. Sentenças verdadeira.
abertas e paradoxos também não são proposições.
Contradição a proposição composta que é sempre
Número de linhas de uma tabela-verdade falsa.

O número de linhas da tabela-verdade de uma Contingência a proposição composta que pode

proposição composta com n proposições simples é ser verdadeira e pode ser falsa.
n
2.
As proposições p → q , ~ q →~ p e ~ p ∨ q são
NÃO PODEMOS TER ARGUMENTOS VÁLIDOS COM
PREMISSAS VERDADEIRAS E CONCLUSÃO FALSA.
logicamente equivalentes.

Como determinar a validade de um argumento? Assim, dada a proposição p → q , podemos

Admita que as premissas sejam verdadeiras, mesmo que construir o seguinte algoritmo para construir essas
não sejam. Há a possibilidade de se considerando as proposições equivalentes notáveis:
premissas verdadeiras, a conclusão seja falsa? Se isso
pode acontecer (premissas verdadeiras e conclusão ~ q →~ p
falsa) então o argumento é inválido, um sofisma, uma
Negue o antecedente e o consequente,
falácia. Se não, então o argumento é válido. troque a ordem e mantenha o conectivo
“se..., então”
~ p∨q Negue apenas o antecedente e troque
p q p∧q p q p∨q o conectivo por “ou”.
V V V V V V
V F F V F V Negação das Proposições Usuais
F V V Afirmação Negação
F V F p ~p
F F F
F F F p∧q ~ p∨ ~ q
p∨q ~ p∧ ~ q
p q p q p↔q p→q p∧ ~ q
p→q
V V V V V V
V F F Afirmação Negação
V F F p∧q Negue as duas proposições e
F V V F V F troque o conectivo “e” pelo
F F V F F V conectivo “ou”
p∨q Negue as duas proposições e
troque o conectivo “ou” pelo
Conjunção As duas proposições p, q devem conectivo “e”
p∧q ser verdadeiras p→q Afirme o antecedente, troque
o conectivo condicional pelo
Disjunção Ao menos uma das proposições
p∨q conectivo “e” e negue o
p, q deve ser verdadeira. Não
consequente.
pode ocorrer o caso de as duas
serem falsas.
Condicional Não pode acontecer o caso de o
p→q antecedente ser verdadeiro e o Afirmação Negação
consequente ser falso. Ou seja, Particular afirmativa Universal negativa
não pode acontecer V(p)=V e (“algum...”) (“nenhum...” ou
V(q)=F. Em uma linguagem “todo...não ...”)
informal, dizemos que não pode Universal negativa Particular afirmativa
acontecer VF, nesta ordem. (“nenhum...” ou “todo... (“algum...”)
Bicondicional Os valores lógicos das duas não...”)
p↔q proposições devem ser iguais. Universal afirmativa Particular negativa
Ou as duas são verdadeiras, ou (“todo...”) (algum... não)
as duas são falsas. Particular negativa Universal afirmativa
(algum... não) (“todo...”)

Todos os direitos reservados ao professor Guilherme Neves / © Copyright. Proibido a reprodução total ou parcial desta obra.