Você está na página 1de 49

Aplicar tabelas de verdade na validação de formas

argumentativas
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

NEGAÇÃO

A negação = ~ P
é falsaquandoP é
verdadeira,e é verdadeira
quando Péfalsa.
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

CONJUNÇÃO

A conjunção=P ˄ Q
Regra:sóéverdadeira
quandoP eQsão
verdadeiras.
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

DISJUNÇÃO

Adisjunçãoinclusiva=P ˅Q
Regra:só éfalsaquandoP e Q
sãofalsas.
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

DISJUNÇÃO

A disjunção
exclusiva= P ṿ Q
Regra: é falsa
quando P e Q têm
o mesmo valor de
verdade.
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

CONDICIONAL

A condicional =P → Q
Regra: só é falsa quando
a antecedente P é
verdadeira e a
consequente Q é falsa.
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

BICONDICIONAL

A bicondicional =P ↔ Q
Regra:é verdadeiraquandoP e
Q têmo mesmovalor de
verdade.
Exercícios 1 Exercícios 2
Dicionário Dicionário
P:Marta come carne
P: Está a fazer vento
Q:A Marta come peixe
Q: Está a chover
R: A marta come doces
R: A Beatriz vai à praia.
Tendo em conta o significado de P,Q, formaliza as
Traduz as seguintes fórmulas para a linguagem
seguintes proposições:
natural, tendo em conta o respetivo dicionário.
1. Se Marta não come carne, então come
bastantes doces.
1. R ↔ (~QɅ~P)
2. A Marta come doces se e só se não comer
2. (~QɅ~P)→R
carne nem peixe.
3. ~[R↔(~QV~P)]
3. A Marta ou come carne ou come peixe , mas
doces come sempre.
P Q
▪ Astabelasdeverdadeindicamo valor de verdade de
V V
umaproposiçãocomplexa naqualocorreuma V F
conectiva. F V
F F
▪ Regras a seguir para ara fazer uma tabela de
P Q R
verdade:
V V V
1. Cada coluna de uma variável tem 4 espaços
V V F
ocupados por valores lógicos onde todas as
V F V
possibilidadessãoconsideradas.
2. O nº de espaços que deve existir em cada V F F
coluna dependediretamentedonºdevariáveis F V V
e há uma formula para ocalcular:2n , em F V F
que n = nº de variáveis. F F V
F F F
▪ Consideremos o seguinte exemplo:

SePortugal joga contra Espanha no campeonato do mundo de


futebol,
então os adeptos espanhóis não apoiam os jogadores portugueses.

▪ Tradução da frase:
P – Portugal joga contra Espanha no campeonato do mundo de
futebol.
Q – Os adeptos espanhóis apoiam os jogadores portugueses.

P →¬Q
P→¬Q
P Q P→¬Q
O cálculo é feito da conectiva de
menor abrangência para a conectiva V V
de maior abrangência (o
dominante).
Neste caso, conectiva de maior
u V F
abrangência
a é a condicional (liga P a
¬Q) e a conectiva de meno F V
abrangência é a negação r
apenas em Q). (incide
Por isso, começamos por calcular F F
¬Q.
Cálculo de ¬Q
Tabela da Negação P Q P→¬Q
V V F
V F V
F V F
Depois de ¬Q,calculamos P → ¬Q. F F V
Nesse cálculo, vamos considerar os
valores de verdade de Pe de ¬Q.
Cálculo de P→¬Q P Q P→¬Q
Tabela da Condicional
V V F F
V F V V
F V V F
F F V V
Aplicar tabelas de verdade na determinação do valor de verdade de
proposições complexas

Cálculo de P→ ¬Q P Q P→¬Q
V V F F
Terminado o cálculo do V F V
valor de verdade de P → V
os
¬Q, resultados do cálculo F V V F
intermédio de deixam
¬Q de F F V V
ser relevantes.
Cálculo de P→¬Q P Q P→¬Q
V V F
Sabemos agora em que V F
condições P → ¬Q é
V
verdadeira e em que F V V
condições P→ ¬Q é falsa.
F F V
P→¬Q
P Q P→¬Q
P→ ¬Q é verdadeira quando P V V F
é verdadeira e Q é falsa, quando
P é falsa e Q é verdadeira e V F V
quando P e Q são falsas.
F V V
P→ ¬Q é falsa apenas quando P F F V
e Q são verdadeiras.
Recordemos a proposição complexa cujo valor
de verdade calculámos:
«Se Portugal joga contra Espanha no
P Q P→¬Q
campeonato do mundo de futebol, então os V V
adeptos espanhóis não apoiam os jogadores F
portugueses.»
V F V
A proposição complexa é falsa apenas quando F V V
«Portugal joga contra Espanha no campeonato
do mundo de futebol» e «Os adeptos F F V
espanhóis apoiam os jogadores portugueses»
são verdadeiras.
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Como vimos, as tabelas de verdade indicam o valor de


verdade de uma proposição complexa na qual ocorre uma
conectiva e, mediante cálculos, permitem determinar o valor
de verdade de uma proposição complexa na qual ocorre
mais do que uma conectiva.
▪ Outra aplicação importante das tabelas de verdade é
determinar avalidade dasformas argumentativas.
▪ Vamos agora aprender a testar a validade das formas
argumentativas aplicando astabelas de verdade.
Aplicar tabelas de verdade na validação da seguinte
fórmula:
P Q R ¬Q (PɅ¬Q) ¬(PɅ¬Q) ¬(PɅ¬Q)→R
¬ (PɅ¬Q)→R
v V V
v V F
v F V
v F F
F V V
F V F
F F V
F F F
{[(P ṿ Q)→R] Ʌ (P Ʌ ¬Q)} →R
P Q R ¬Q PṿQ (P ṿ Q)→R P Ʌ ¬Q {[(P ṿ Q)→R] Ʌ (P Ʌ ¬Q) {[(P ṿ Q)→R] Ʌ (P Ʌ
¬Q)} →R

V V V F
V V F F
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V
Aplicar tabelas de verdade na validação de formasargumentativas
▪ Recordemos a noção de argumento:

▪ Recordemos também a noção de argumento válido:


Aplicar tabelas de verdade na validação de formasargumentativas
Como se testa a validade de umdado argumento ou de uma forma
argumentativa recorrendo às tabelas de verdade?

O teste da validade é feito em quatro etapas:

(I)TRADUÇÃO DO ARGUMENTO

(II)CONSTRUÇÃO DA TABELA DE VERDADE

(III)CÁLCULO DOS VALORES DEVERDADE

(IV)INTERPRETAÇÃO DA TABELA DE VERDADE


Aplicar tabelas de verdade na validação de formasargumentativas
Como se testa a validade de um dado argumento ou de uma
forma argumentativa recorrendo às tabelas de verdade?

(I) TRADUÇÃO DO ARGUMENTO


Para testar a validade de um argumento recorrendo às tabelas
de verdade, começa-se por traduzir o argumento da linguagem
natural para a linguagem da Lógica proposicional (obtendo a
forma argumentativa correspondente).
Aplicar tabelas de verdade na validação de formasargumentativas
Como se testa a validade de um dado argumento ou de uma forma
argumentativa recorrendo às tabelas deverdade?

(II) CONSTRUÇÃO DA TABELA DE VERDADE


Seguidamente, constrói-se uma tabela de verdade da qual constam:
(1) as proposições simples que ocorrem no argumento e todos os
valores de verdade que tais proposições podem tomar (as
circunstâncias possíveis);
(2) as premissas do argumento (ou a premissa, caso seja um
argumento com uma única
premissa);
(3) a conclusão do argumento.
Aplicar tabelas de verdade na validação de formasargumentativas
Como se testa a validade de um dado argumento ou de uma
forma argumentativa recorrendo às tabelas de verdade?

(III) CÁLCULO DOS VALORES DE VERDADE


Faz-se o cálculo dos valores de verdade das premissas e da
conclusão (as proposições que formam o argumento), tendo
presentes os valores de verdade atribuídos às proposições
simples e astabelas de verdade.
Aplicar tabelas de verdade na validação de formasargumentativas
Como se testa a validade de umdado argumento ou de uma
forma argumentativa recorrendo às tabelas deverdade?

(IV) INTERPRETAÇÃO DA TABELA DEVERDADE


Por fim, verifica-se a tabela, considerando a seguinte questão:
«Há alguma circunstância em que as premissas sejam todas
verdadeiras e a conclusão seja falsa?»
Se não houver, o argumento é
válido. Se houver, o argumento é
inválido.
Aplicar tabelas de verdade na validação de formasargumentativas
▪ Consideremos o seguinte exemplo:
SePortugal jogar contra Espanha no campeonato do mundo de futebol,
então os
adeptos espanhóis não apoiam os jogadores portugueses.
Portugal joga contra Espanha no campeonato do mundo de futebol.
Logo, os adeptos espanhóis não apoiam os jogadores portugueses.
▪ Tradução do argumento:
P – Portugal joga contra Espanha no campeonato do mundo de
futebol.
Q – Os adeptos espanhóis apoiam os jogadores portugueses.

P→ ¬Q
P
∴¬Q
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Construção da P Q P→¬Q P ∴¬Q


tabela de verdade:
V V
P→ ¬Q V F
P
F V
∴¬Q
F F
Aplicar tabelas de verdade na validação de formasargumentativas
P→ ¬Q Proposições simples Premissas do argumento Conclusão do
que ocorrem no argumento
P argumento
∴¬Q
P Q P→¬Q P ∴¬Q
Valores de
verdade V V
das
proposições
simples V F
que ocorrem
no
argumento F V
F F
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores de


verdade: P Q P→¬Q P ∴¬Q
Em primeiro lugar
vamos calcular P→ ¬Q,
V V
mas também
poderíamos calcular P
ou ¬Q.
V F
No caso de P, não são
necessários cálculos, F V
bastando copiar os
valores de verdade da
proposição simples. F F
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q P→¬Q P ∴¬Q


de verdade:
V V F
PASSO1
Premissa 1 V F V
Cálculo de ¬Q
F V F
F F V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q P→¬Q P ∴¬Q


de verdade:
V V F F
PASSO2
Premissa 1 V F V V
Cálculo de P→ ¬Q
F V V F
F F V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores de P Q P→¬Q


verdade: P ∴¬Q
PASSO3 V V F F V
Premissa 2
Cálculo de P
V F V V V
F V V F F
No caso de P, não são
necessários cálculos, F F V V F
bastando copiar os
valores de verdade da
proposição simples.
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q P→¬Q P ∴¬Q


de verdade:
V V F F V F
PASSO4
Conclusão V F V V V V
Cálculo de ¬Q
F V V F F F
F F V V F V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Interpretação da P Q P→¬Q P ∴¬Q


tabela de verdade:
No único caso em que as V V F V F
premissas são todas
verdadeiras, a conclusão V F V V V
também é verdadeira,
ou seja, sempre que as
premissas são todas
F V V F F
verdadeiras, a conclusão
também é verdadeira. F F V F V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Interpretação da P Q P→¬Q P ∴¬Q


tabela de verdade:
O argumento é válido, V V F V F
pois não existe
nenhum caso de
premissas todas V F V V V
verdadeiras e
conclusão falsa, ou F V V F F
seja, sempre que as
premissas são todas F F V F V
verdadeiras, a
conclusão também é
verdadeira.
Aplicar tabelas de verdade na validação de formasargumentativas
▪ Consideremos agora o seguinte exemplo:
Se a Itália não é apurada para o campeonato do mundo de futebol, então o público
presente na Rússia não pode contemplar belas defesas de Gianluigi Buffon.
O público presente na Rússia não pode contemplar belas defesas de Gianluigi Buffon.
Logo, a Itália não é apurada para o campeonato do mundo de futebol .
▪ Tradução do argumento:
P – A Itália é apurada para o campeonato do mundo de futebol.
Q – O público presente na Rússia pode contemplar belas defesas de Gianluigi Buffon.

¬P →¬Q
¬Q
∴¬P
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Construção da P Q ¬P →¬Q ¬Q ∴¬P


tabela de verdade:
V V
¬P →¬Q V F
¬Q
F V
∴¬P
F F
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos P Q ¬P →¬Q ¬Q ∴¬P


valores de
verdade:
V V
Em primeiro V F
lugar vamos
calcular ¬P → ¬Q,
mas também F V
poderíamos
calcular ¬Q ou F F
¬P.
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q ¬P →¬Q ¬Q ∴¬P


de verdade:
V V F
PASSO1
Premissa 1
V F F
Cálculo de ¬P F V V
F F V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q ¬P →¬Q ¬Q ∴¬P


de verdade:
V V F F
PASSO2
Premissa 1
V F F V
Cálculo de ¬Q F V V F
F F V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q ¬P →¬Q ¬Q ∴¬P


de verdade:
V V F V F
PASSO3
Premissa 1
V F F V V
Cálculo de ¬P →¬Q F V V F F
F F V V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q ¬P →¬Q ¬Q ∴¬P


de verdade:
V V F V F F
PASSO4
Premissa 2
V F F V V V
Cálculo de ¬Q F V V F F F
F F V V V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Cálculo dos valores P Q ¬P →¬Q ¬Q ∴¬P


de verdade:
V V F V F F F
PASSO5
Conclusão
V F F V V V F
Cálculo de ¬P F V V F F F V
F F V V V V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Interpretação da P Q ¬P →¬Q ¬Q ∴¬P


tabela de verdade:
Existe um caso em V V V F F
que as premissas são
todas verdadeiras e a
V F V V F
conclusão é falsa. F V F F V
F F V V V
Aplicar tabelas de verdade na validação de formasargumentativas

P Q ¬P →¬Q ¬Q ∴¬P
▪ Interpretação da
tabela de verdade: V V V F F
V F V V F
F V F F V
F F V V V
Aplicar tabelas de verdade na validação de formasargumentativas

P Q ¬P →¬Q ¬Q ∴¬P
▪ Interpretação da
tabela de verdade: V V V F F
V F V V F
F V F F V
F F V V V
Aplicar tabelas de verdade na validação de formasargumentativas

▪ Interpretação
d P Q ¬P →¬Q ¬Q ∴¬P
a tabela de verdade:
V V V F F
O argumento é inválido, V F V V F
um caso (peloem
pois existe que
menos)
premissas as são
verdadeiras e todas F V F F V
conclusão é a
falsa
(quando P é verdadeira F F V V V
e Q é falsa).
Recurso didático elaborado por docentes do Agrupamento de Escolas de Cascais
Julho de 2018

Você também pode gostar