Cálculo Proposicional
Alguns exemplos de tradução de proposições em linguagem
quase-formal
Cálculo Proposicional
 Vejamos mais alguns exemplos de transformação de
proposições em símbolos formais.
Exemplo 1.
‘Se c...
Lógica Clássica
Exemplo 2.
‘Chove no Lobito, se e somente se estivermos na estação
das chuvas’.
 O brilho identifica duas...
Cálculo Proposicional
Exemplo 3.
‘Não chove em Luanda nem no Lobito’.
 O brilho identifica duas proposições mais simples
...
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 ...
Cálculo Proposicional
Exemplo 5.
‘Não é o caso que os aviões sejam o único meio de
transporte para Angola’.
 O brilho ide...
Próximos SlideShares
Carregando em…5
×

Cálculo proposicional exemplificação

135 visualizações

Publicada em

Lógica

Publicada em: Educação
0 comentários
0 gostaram
Estatísticas
Notas
  • Seja o primeiro a comentar

  • Seja a primeira pessoa a gostar disto

Sem downloads
Visualizações
Visualizações totais
135
No SlideShare
0
A partir de incorporações
0
Número de incorporações
5
Ações
Compartilhamentos
0
Downloads
0
Comentários
0
Gostaram
0
Incorporações 0
Nenhuma incorporação

Nenhuma nota no slide

Cálculo proposicional exemplificação

  1. 1. Cálculo Proposicional Alguns exemplos de tradução de proposições em linguagem quase-formal
  2. 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. 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. 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. 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. 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

×