Formas de inferência válida: o

cálculo proposicional
Conectivas proposicionais: conjunção,
disjunção, condicional, bicondicional e
negação.
 Proposições Simples e Complexas
Estou a ler Os Maias. Estou a ler Os Maias e
ouço música de qualidade.
Ouço música de
qualidade. As proposições complexas
são compostas por
Uma proposição simples proposições simples ligadas
traduz uma unidade de através de conectores.
sentido sem recorrer a
conectivas.

Simples Complexa
 Proposições Simples e Complexas
As proposições simples são aquelas que não se podem
decompor noutras proposições mais simples. As proposições
complexas, ao contrário, são as que se podem decompor em
proposições mais simples.

A proposição João é veloz é uma proposição simples, ao passo

que a proposição Londres é uma cidade e o Tamisa um rio é
complexa. Assim, as proposições que não contêm conectivas
são proposições simples e as proposições que contêm pelo
menos um operador lógico ou conectiva são proposições
complexas.
Conectivas
As conectivas ou operadores lógicos simbolizam as
operações lógicas que se estabelecem entre as
proposições.

Podem ser singulares ou unárias, se se aplicarem

apenas a uma proposição, ou binárias, se se aplicarem a
duas proposições.

As conectivas permitem realizar as operações lógicas e

os seus símbolos são os que se apresentam no quadro
seguinte.
Tabela de Símbolos Lógicos
Negação
O café é amargo: p
O café não é amargo:
 Conjunção
O café é amargo e é estimulante: (p^q)
 Disjunção Inclusiva
O café é amargo ou é estimulante: (pvq)
 Condicional
Se o café é amargo, então é estimulante: (p→q)
 Bicondicional
O café é amargo se e apenas se é estimulante: (p↔q)
Considere as seguintes proposições e faça a sua
tradução em linguagem simbólica.
P - Maria vê televisão
Q - Pedro ouve música

A) Maria não vê televisão.

B) Se Maria vê televisão, então Pedro ouve música.
C) Pedro ouve música e Maria vê televisão.
D) Maria vê televisão ou Pedro ouve música.
E) Pedro ouve música mas Maria vê televisão.
F) Maria vê televisão se e só se Pedro ouvir música.
Considere as seguintes proposições e faça a sua
tradução em linguagem simbólica.
A) Maria não vê televisão.

B) Se Maria vê televisão, então Pedro ouve

música.

C) Pedro ouve música e Maria vê televisão.

D) Maria vê televisão ou Pedro ouve música.

E) Pedro ouve música mas Maria vê televisão.

F) Maria vê televisão se e só se Pedro ouvir

música.

P - Maria vê televisão Q - Pedro ouve música

 A simbolização de proposições complexas

Está sol, mas está frio. 1) Posso ir à praia ou ao

cinema.
Dicionário
P: Está sol. 2) Se está a nevar, então
Q: Está frio. está frio.

3) O Paulo tirará boas

P^Q
notas se e somente se
estudar
 Correção
1) Posso ir à praia ou ao
cinema.

2) Se está a nevar, então

está frio.

3) O Paulo tirará boas

notas se e somente se
estudar.
A) Se o sol brilha, então faz calor.
B) Se troveja, então não faz calor.
C) Se não faz calor, então o sol não brilha.
D) Se não troveja e o sol brilha, então faz
calor.
E) Se troveja ou o sol brilha, então não faz
calor.

Traduza em linguagem simbólica as seguintes proposições, sendo que:

P: Troveja
Q: O sol brilha
R: Faz calor
 Correção

A) Se o sol brilha, então faz

calor.
B) Se troveja, então não faz
calor.
C) Se não faz calor, então o
sol não brilha.
D) Se não troveja e o sol
brilha, então faz calor.
E) Se troveja ou o sol brilha,
então não faz calor.
Se compro um bilhete de avião e vou
viajar, gasto dinheiro e conheço outros
países.

Dicionário:

Formalização:

A simbolização de proposições complexas

Nota: a conectiva dominante aparece
fora dos parêntesis.
O valor de verdade de uma proposição
complexa, em geral, depende:

Do valor de verdade das proposições simples que

a compõem e do conector usado para ligar essas
proposições.
Tabelas de Verdade dos diferentes conectores
 O Método das Tabelas de Verdade
1. Desenhar a tabela, colocando aí as letras
proposicionais e a proposição complexa.

P Q
 O Método das Tabelas de Verdade
2. Colocar na tabela os valores de verdade das proposições
simples, esgotando as possibilidades.
O número de filas da tabela depende do número de variáveis
proposicionais. Para duas variáveis, são necessárias quatro filas; para três,
oito; para quatro, dezasseis, etc. assim, o número destas linhas será dado
por 2n, sendo n o número de variáveis.

P Q
V V
V F
F V
F F
 O Método das Tabelas de Verdade
3. Calcular os valores de verdade das proposições,
excetuando os daquela relativa ao operador principal.

P Q
V V V
V F F
F V V
F F V
 O Método das Tabelas de Verdade
4. Calcular os valores de verdade da proposição relativa
ao operador principal.

P Q
V V F V
V F V F
F V F V
F F FV
 Tautologias, contradições e contingências

As tabelas de verdade permitem-nos determinar se uma

proposição complexa é uma tautologia, uma
contradição ou uma contingência.

Tautologia: o enunciado é sempre verdadeiro.

Contradição: o enunciado é sempre falso.
Contingência: o enunciado pode ser verdadeiro ou
falso.
 Construa a tabela de verdade das seguintes proposições e
classifique as fórmulas proposicionais:
A) P → (pVq)
B) P V (~pVq)
Determine as condições de verdade das fórmulas seguintes por intermédio de
uma tabela de verdade e diga se se trata de tautologias, de contradições ou de
contingências. Justifique a conclusão a que chegar.

1. (P^Q) → ~Q 2. ~P ↔ ~(QVR)
Inspetor de Circunstâncias
 Será este um argumento válido?

Etapas de avaliação da Etapas de avaliação da

validade dos argumentos validade dos argumentos
Será este um argumento válido?
Formalize os seguintes argumentos e avalie a sua validade
dedutiva usando um inspetor de circunstâncias

A) Se está calor, então vou à praia. Se vou para a praia,

então fico bronzeado. Logo, se está calor fico
bronzeado.

B) Estou feliz ou choro. Estou feliz. Logo, não choro.

C) Se estiver atrasada, não tomo o pequeno almoço.

Não estou atrasada, logo tomo o pequeno almoço.
Atente na proposição complexa expressa pela frase seguinte.

Quer Schubert quer Schumann eram compositores.

1. Identifique a conectiva que liga as duas proposições simples que a constituem.

2. Recorrendo ao dicionário apresentado, formalize a proposição seguinte.

Se Cristiano Ronaldo ganhar quatro Botas de Ouro ou três Ligas dos Campeões, ficará
na história do desporto.

Dicionário:
P: Cristiano Ronaldo ganha quatro Botas de Ouro.
Q: Cristiano Ronaldo ganha três Ligas dos Campeões.
R: Cristiano Ronaldo fica na história do desporto.

Mostre que a forma argumentativa seguinte é inválida, recorrendo ao método das tabelas
de verdade. A V B A ` ¬B
Identifique as formas de inferência válida e proceda
à sua formalização
1) Se bebo café, fico desperto. Bebo café. Logo, fico
desperto.
2) Se bebo café, fico desperto. Não fico desperto. Não
bebo café.
3) Se bebo café, não durmo. Se não durmo, fico com
olheiras. Logo, se bebo café, fico com olheiras.
4) Bebo café ou fico desperto. Não bebo café, logo fico
desperto.
Identifique as formas de inferência válida e proceda
à sua formalização
5) Se bebo café, fico desperto. Logo, se não fico
desperto, não bebo café.

6) É falso que bebo café e fico desperto. Logo, não bebo

café ou não fico desperto.

7) É falso que bebo café ou fico desperto. Logo, não

bebo café e não fico desperto.
Considere o seguinte argumento:
Se for ao Brasil em fevereiro, então gosto de praia. Mas
a verdade é que eu não gosto de praia. É, por
conseguinte, certo que não irei ao Brasil em fevereiro.

Traduza-o para a linguagem proposicional.

Teste a validade do argumento. Justifique.