Aula 1

RACIOCÍNIO LÓGICO
PROFESSOR: GUILHERME NEVES
A B ¬B
V V F
V F V
F V F
F F V
Vamos construir a proposição [¬B]→A. Devemos conectar a terceira coluna com a primeira
coluna.
ATENÇÃO!!!
Devemos operar o ―se...,então...‖ da DIREITA para a ESQUERDA. Começamos com ¬B e
terminamos com A. Este condicional só é falso na última linha em que ¬B é verdadeiro e A é falso.
A B ¬B [¬B]→A
V V F V
V F V V
F V F V
F F V F
Finalmente vamos construir [¬B]˅{[¬B]→A}. Devemos conectar ¬B (terceira coluna) com [¬B]→A
(quarta coluna) através do ―ou‖. Em todas as linhas há pelo menos uma verdadeira, portanto a
composta [¬B]˅{[¬B]→A} é sempre verdadeira.
O item está certo.
A B ¬B [¬B]→A [¬B]˅{[¬B]→A}
V V F V V
V F V V V
F V F V V
F F V F V
44. A proposição [¬B]˄[A→B] é logicamente falsa.
Resolução
A tabela-verdade possui 2² = 4 linhas.
A B
V V
V F
F V
F F
Prof. Guilherme Neves www.espacojuridico.com 46