Aula 1

RACIOCÍNIO LÓGICO
PROFESSOR: GUILHERME NEVES
Vamos construir ¬B (negação de B). Seus valores são opostos aos de B.
A B ¬B
V V F
V F V
F V F
F F V
Vamos construir A→B. Este condicional só é falso quando A é verdadeiro e B é falso (2ª linha).
A B ¬B A→B
V V F V
V F V F
F V F V
F F V V
Vamos agora conectar as duas últimas colunas através do conectivo ―e‖ para formar [¬B]˄[A→B].
Observe que os dois componentes são verdadeiros na última linha.
A B ¬B A→B [¬B]˄[A→B]
V V F V F
V F V F F
F V F V F
F F V V V
A proposição dada não é logicamente falsa (contradição). Trata-se de uma contingência. O item
está errado.
45. Considere que A, B e C sejam proposições simples, distintas, e que a proposição D seja
definida por D = [A↔B]→[¬A]→C. Nesse caso, a tabela-verdade da proposição D tem 16 linhas.
Resolução
A proposição D é composta por 3 proposições simples. A sua tabela-verdade possui linhas.
O item está errado.
Equivalências Lógicas
Estudaremos agora um conceito importantíssimo em Lógica: as famosas equivalências lógicas. E
o que são proposições logicamente equivalentes?
Grosso modo, duas proposições são logicamente equivalentes quando elas ―dizem a mesma
coisa‖.
Prof. Guilherme Neves www.espacojuridico.com 47