Você está na página 1de 40

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.
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.
Escreva as frases 1.1 a 1.3 em linguagem
proposicional, usando o seguinte dicionário:
P: O João gosta de 1.1 O João gosta de
música. música, mas não gosta de
matemática.
Q: O João gosta de
matemática. 1.2 Não é verdade que o
João goste de música e de
matemática.

1.3 Se o João gosta de


matemática, então não
gosta de música.
Tome como referência a proposição
obtida em 1.3
2.1 Identifique as conectivas e diga qual é a de maior
âmbito.

2.2 Teste o seu valor de verdade.

2.3. Classifique a proposição quanto ao seu valor de


verdade. Justifique.
Correção
Correção

2.1 Conectivas: condicional e negação. A conectiva de


maior âmbito é a condicional.
2.2
P Q
V V F F
V F V F
F V V V
F F V V
Correção

2.3 Trata-se de uma contingência, pois a proposição é


verdadeira numas circunstâncias e falsa noutras.
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?
Teste a validade do argumento seguinte,
recorrendo ao método do inspetor de
circunstância.

Você também pode gostar