2. Cálculo Proposicional
Vejamos mais alguns exemplos de transformação de
proposições em símbolos formais.
Exemplo 1.
‘Se chove em Luanda, então as ruas de Luanda estarão
molhadas’.
O brilho identifica duas proposições mais simples que
formam a proposição complexa.
Ficamos, então, com a proposição complexa Se p, então
q.
p q
3. Lógica Clássica
Exemplo 2.
‘Chove no Lobito, se e somente se estivermos na estação
das chuvas’.
O brilho identifica duas proposições mais simples que
formam a proposição complexa.
Ficamos, então, com a proposição complexa f, se e
somente se g.
f g
4. Cálculo Proposicional
Exemplo 3.
‘Não chove em Luanda nem no Lobito’.
O brilho identifica duas proposições mais simples
que formam a proposição complexa.
Ficamos, então, com a proposição complexa não-h e
não-k.
h k
5. Lógica Clássica
Exemplo 4.
‘O avião faz a ligação até Lisboa ou não faz a ligação até
Lisboa’.
O brilho identifica duas proposições mais simples que
formam a proposição complexa. Neste caso as
proposições mais simples são a mesma proposição: o
avião faz a ligação até Lisboa.
Ficamos, então, com a proposição complexa i ou não-i.
i i
6. Cálculo Proposicional
Exemplo 5.
‘Não é o caso que os aviões sejam o único meio de
transporte para Angola’.
O brilho identifica a proposição que está a ser
negada pela expressão ‘não é o caso’.
Ficamos, então, com a proposição complexa não-m.
m