LÓGICA

PROPOSICIONAL
 Noções Básicas

Considera o seguinte argumento:

João ganha as eleições ou Maria ganha um emprego.

João não ganha as eleições.
 Maria ganha o emprego.

Para captar a forma lógica deste argumento, começa-se por identificar as proposições elementares que o
constituem, designando cada uma delas por uma letra.
Neste caso, temos duas proposições:

A = João ganha as eleições.

B= Maria ganha o emprego.

Chama-se a isto um dicionário.

Partindo deste dicionário, podemos representar agora a forma do argumento:

A ou B
Não A
B

Esta é uma forma válida. Qualquer argumento que tenha esta forma, seja qual for o seu conteúdo é
dedutivamente válido.

Recorrendo aos símbolos o argumento ficaria:

A B
Ø A
B
As letras minúsculas p, q, r... Funcionam como uma espécie de lugares que poderão ser ocupados por
qualquer proposição simples, ou seja, no seu lugar podem estar quaisquer proposições.
Conjunção
Vejamos o seguinte dicionário:

P = John Rawls é um filósofo.

Q = Stephen Hawking é um físico.

Regra: uma conjunção é verdadeira apenas no

caso de ambas as conjuntas serem verdadeiras.
Alguns tipos de frases que se formalizam como conjunções na lógica
proposicional:
Frase Formalização
Gosto de Mozart. A
Gosto de Metálica. B
Gosto de Mozart e gosto de metálica.
Gosto de Mozart e metálica. A B
Gosto de Mozart, mas também gosto de metálica.
Embora goste de Mozart, gosto de metálica.
Apesar de gostar de Mozart, também gosto de metálica.
Disjunção (inclusiva)

Regra: É falsa apenas no caso de ambas serem falas.

Alguns tipos de frases que se formalizam como disjunções inclusivas na lógica
proposicional:

Frase Formalização
Manuel vai à praia. A
Manuel vai ao campo. B
Manuel vai à praia ou Manuel vai ao campo.
Manuel vai à praia ou ao campo. A B
Manuel vai à praia a não ser que vá ao campo.
Manuel vai à praia a menos que vá ao campo.
Disjunção (exclusiva)

Regra: só é verdadeira quando uma

disjunta é verdadeira e a outra é falsa.
 Alguns tipos de frases que se formalizam como disjunções exclusivas na lógica
proposicional:

Usa-se a disjunta exclusiva apenas quando é inteiramente claro que se está a excluir a possibilidade de ambas
as disjuntas serem verdadeiras. Isto acontece com dois “ous”, como :

“Ou como peixe, ou como carne”.

Negação

Nota:
Alguns tipos de frases que se formalizam como negações na lógica
proposicional:

Frase Formalização
O ataque é a melhor defesa. A
O ataque não é a melhor defesa.
A
É falso que o ataque seja a melhor defesa.
Não é verdade que o ataque seja a melhor defesa.

Regra: uma negação tem sempre valor de verdade

diferente do da proposição negada.
Condicionais

Regra: uma condicional é falsa apenas

quando a antecedente é verdadeira e a
consequente é falsa.
Alguns tipos de frases que se formalizam como condicionais na lógica
proposicional:
Frase Formalização
Farrusco é um gato. A
Farrusco é carnívoro. B
Se Farrusco é um gato, então Farrusco é carnívoro.
Se Farrusco é um gato, é carnívoro.
Farrusco é carnívoro se é um gato.
Farrusco é um gato somente se é carnívoro. AB
Desde que Farrusco seja um gato, é carnívoro.
Para que Farrusco seja carnívoro, basta que seja um gato.
É preciso que Farrusco seja carnívoro para que seja um gato.
Farrusco ser um gato é condição suficiente para ele ser carnívoro.
Farrusco ser carnívoro é condição necessária para ele ser um gato.
Bicondicionais

Regra: uma bicondicional é verdadeira apenas

quando p e q têm o mesmo valor de verdade.
 Alguns tipos de frases que se formalizam como bicondiconais na lógica
proposicional:

Frase Formalização
João perde 100 €. A
João perde a carteira. B

João perde €100 se, e apenas se, João perde a carteira.

João perde €100 se, e somente se, perder a carteira.
A B
João perde €100 precisamente nas circunstâncias em que perde a carteira.
João perder €100 é condição necessária e suficiente para perder a carteira.
Formaliza cada uma das seguintes proposições:

a) Os ornitorrincos são mamíferos e ovíparos.

b) Ou jogo ou sou substituído.

c) Os seres humanos não são naturalmente egoístas

d) Uma extensão de terra uma península se e somente se é cercada de água

por todos os lados menos por um.
Correção:

a) P ⋀ Q.
b) P ⩒ Q.
c)  P.
d) P Q
Classifica cada afirmação como verdadeira ou falsa.

Afirmações V F

1. “Claude Bernard é médico e filósofo” é uma proposição simples.

2. Uma disjunção (inclusiva) só é verdadeira se as suas disjuntas forem ambas

verdadeiras.

3. Uma bicondicional só é verdadeira se as suas disjuntas forem ambas verdadeiras.

4. Uma proposição condicional é formalizada com o símbolo  .

5. Uma dupla negação corresponde a uma afirmação.

6. P  Q  R é uma proposição corretamente formulada.

Correção:
1- Falsa.
2-Falsa.
3- Falsa.
4- Verdadeira.
5- Verdadeira.
6- Falsa.
Âmbito das conectivas