A DIMENSÃO DISCURSIVA E ARGUMENTATIVA

MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TEMA II | LÓGICA FORMAL
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

1. Considera a proposição:
Tenho direitos e deveres ou não tenho direitos e deveres.

1.1. Traduz a proposição para a linguagem

proposicional.
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

1.1. Tenho direitos e deveres ou não tenho direitos e

deveres.

Dicionário
P: Tenho direitos.
Q: Tenho deveres.
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

1.1. Tenho direitos e deveres ou não tenho direitos e

deveres.

Formalização
(P ∧ Q) ∨ ¬ (P ∧ Q)
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

1.2. Constrói a tabela de verdade da proposição dada.

(P ∧ Q) ∨ ¬ (P ∧ Q)

1 3 2
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∨ ¬ (P ∧
Q)
V V
V F
F V
F F
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∨ ¬ (P ∧
Q)
V V V
V F F
F V F
F F F
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∨ ¬ (P ∧ Q)
V V V F
V F F V
F V F V
F F F V
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∨ ¬ (P ∧
Q)
V V V V F
V F F V V
F V F V V
F F F V V
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∨ ¬ (P ∧ Q)
V V V V F
V F F V V
F V F V V
F F F V V

Tautologia
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

Temos uma tautologia ou verdade lógica

quando a fórmula é verdadeira para todas
as possíveis combinações de valores de
verdade.
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ ∧ ¬ (P ∧ Q)
Q)
V V V F F
V F F F V
F V F F V
F F F F V
Contradição
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

Temos uma contradição ou falsidade

lógica quando a fórmula é falsa para todas
as possíveis combinações de valores de
verdade.
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

TRADUÇÃO E AVALIAÇÃO DE PROPOSIÇÕES

P Q (P ∧ Q) ∧ P
V V V V V
V F F F V
F V F F F
F F F F F

Contingência
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES

Denominam-se contingentes as fórmulas

que tenham o valor V em pelo menos uma
circunstância e, simultaneamente, o valor F
em pelo menos uma circunstância.
A DIMENSÃO DISCURSIVA E ARGUMENTATIVA
MÉTODO DAS TABELAS DE VERDADE E AVALIAÇÃO DE PROPOSIÇÕES
TEMA II | LÓGICA FORMAL