Lógica Proposicional

Conectivas Proposicionais
● As conectivas são seis:
● negação (“não”) é a única que não liga
proposições,
● conjunção (“e”),
● disjunção (“ou”), Disjunção Exclusiva (ou,ou )
● condicional(“se”)
● bicondicional(“se e só se”).
 Variáveis Proposicionais
● Uma vez que, para determinar a validade dos
argumentos, o que interessa é a sua forma lógica,
recorre-se a uma linguagem lógica de modo a
representar com clareza a estrutura dos
argumentos — e das proposições que os
constituem.
● Daí que se usem também as letras P, Q, R, etc.,
para representar proposições simples — sendo, por
isso, chamadas letras ou variáveis proposicionais.
Formalização
 Formulação
● É importante realçar que as conectivas não
representam apenas aquelas palavras exatas,
destacadas no quadro anterior, mas qualquer
palavra ou expressão que operem do mesmo modo.

● Assim, uma conjunção tanto pode ser expressa na

linguagem natural pela palavra “e” como pela
palavra “mas” ou por expressões como “tanto...
como...” e outras.
Exemplos
 Parêntesis

● Esta linguagem proposicional tem a vantagem

de permitir representar proposições bastante
mais complexas. Apenas é preciso recorrer aos
parêntesis para representar adequadamente
proposições com duas ou mais conectivas.
Parêntesis
 Parêntesis
●
Os parêntesis indicam qual o âmbito (ou alcance) da conectiva que
imediatamente os antecede. Na primeira coluna indica-se a negrito
a conectiva que tem maior âmbito. Há casos em que não é tarefa
fácil decidir, na língua portuguesa, qual a conectiva com maior
âmbito. Mas, na maior parte dos casos, isso é razoavelmente claro.

●
Note-se também que o dicionário apenas inclui frases
declarativas gramaticalmente completas e que estas surgem
geralmente no presente do indicativo, dado que a lógica
proposicional clássica é insensível aos tempos verbais
 Exercícios
● Tendo em conta o significado de P,Q,R, S formalize as seguintes
proposições:

P: Deus existe.
Q: A vida tem sentido.
R: O ser humano é imperfeito.
S: O ser humano é feliz.

A) Se o ser humano for infeliz se e só se Deus não existir, então não é

verdade que a vida tenha sentido se e só se o ser humano for perfeito.
 Exercícios
B) Se Deus existe, ou a vida tem sentido e o ser humano é feliz ou a vida é
um absurdo e o ser humano é infeliz.

C) Se Deus existir, a vida terá sentido; caso Deus não exista, o ser humano
apenas encontrará um sentido para a vida se não for imperfeito nem infeliz.
 Exercícios
Tendo em conta o significado de P,Q,R e S, formalize as seguintes proposições.

P: A ciência alcança a verdade.

Q: Deus existe.
R: O ser humano é imperfeito.
S: O ceticismo é a corrente filosófica mais correta.

A) Ou o ser humano é imperfeito, e a ciência pode alcançar a verdade se e só se Deus existir ou Deus não existe
e a ciência alcança a verdade se e só se o ser humano for perfeito.
 Exercícios

B) Se a ciência alcançar a verdade se e só se Deus existir, então não é verdade que

o ser humano seja perfeito ou a ciência alcance a verdade, no caso de Deus existir.

C) Se nem o ser humano é perfeito nem a ciência consegue alcançar a verdade,

então , no caso de Deus não existir, o ceticismo é a corrente filosófica mais correta.
 Exercícios
● Explicitando o dicionário usado, formaliza as
seguintes expressões:

A) Haverá fome e guerra se e só se os líderes

dos maiores países do mundo continuarem a
investir em armamento nuclear; haverá
abundância e paz para todos se e só se os
líderes dos maiores países do mundo deixarem
de investir em armamento nuclear.
 Exercícios
● Se não for verdade que Deus exista e seja
bom, não é verdade que o mal tenha
justificação ou que avida não seja um absurdo.
 Exercícios
Formaliza as seguintes frases:

A eutanásia é permitida por lei se for praticada na Holanda.

A eutanásia deve ser permitida se, e só se, for aplicada a doentes terminais.
Se Picasso é espanhol e está vivo, então não é pintor.
Picasso é espanhol e, se está vivo, então não é pintor.
Picasso é espanhol, mas não está vivo.
Picasso não está vivo, embora seja espanhol e pintor.
Não acontece depressa e bem.
Vou à praia e tomo banho ou leio um livro.
Se o professor não se despachar, chega tarde à escola e os alunos têm folga.
Pedro e Inês amam-se.
 Exercícios
Formaliza os seguintes argumentos:

Se for à praia e tomar banho, leio um livro. Sucede que

não leio um livro, portanto não vou à praia e tomo banho.
Está a chover, uma vez que se não chovesse as pessoas
não estavam molhadas e as pessoas estão molhadas.
A Ana não está contente, pois quando tira positiva num
teste fica contente e sempre que fica contente canta.
Acontece que a Ana não canta.
 Exercícios
Formaliza os seguintes argumentos:

Deus existe ou a Bíblia está errada. Se Deus existe,

não existe o mal no mundo. Mas no mundo existe o
mal. Daí que a Bíblia esteja errada.
Se Deus existe e é bom, então o mal não existe no
mundo. Mas se o mal não existe no mundo, o paraíso
terrestre existe. Mas será que o paraíso existe na Terra?
A verdade é que o paraíso terrestre não existe. Logo,
não é verdade que Deus existe e é bom.
 Tabelas de verdade
● Tabela de Negação
 Tabelas de verdade
● Tabela da Conjunção
 Tabelas de verdade
● Tabela da Disjunção
 Tabelas de verdade
● Tabela da Disjunção exclusiva
 Tabelas de verdade
● Tabela da Implicação
 Tabelas de verdade
● Tabela da Bicondicional