Lógica proposicional

Ciência da Computação pág. 9 de 17

ETAPA 5 (tempo para realização: 5 horas)

Aula-tema: Lógica Proposicional – argumentos Válidos;

Regras de Dedução; Métodos Dedutivos; Argumentos

Verbais; Lógica Posicional – Tableaux Semânticos. Técnicas

de Demonstração

Esta atividade é importante para que você aprenda usar ferramentas da lógica formal para

ver como chegar a conclusões a partir de proposições dadas.

Para realizá-la é importante seguir os passos descritos.

PASSOS

Passo 1 (Individual)

Dar continuidade à Etapa 4 e fazer as seguintes atribuições:

Atribuir a letra I se sua resposta for a alternativa (a)

Atribuir a letra O se sua resposta for a alternativa (b)

Atribuir a letra A se sua resposta for a alternativa (c)

Atribuir a letra U se sua resposta for a alternativa (d)

Atribuir a letra E se sua resposta for a alternativa (e)

Passo 2 (Equipe)

Elaborar um relatório e entregá-lo ao professor com:

a proposição composta encontrada no passo 3 da etapa 4, bem como todo

raciocínio realizado para montá-la;

a solução encontrada no passo 4 da etapa 4, apresentando juntamente a

solução, todas regras de dedução utilizadas na prova direta;

a letra encontrada após a atribuição feita no passo 1 desta etapa.

DATA DE ENTREGA DA ATIVIDADE: Dia da Prova

ETAPA 6 (tempo para realização: 5 horas)

Aula-tema Lógica de Predicados – Linguagem;

Quantificadores, Predicados e Validade. Lógica de

Predicados – Regras de Dedução; Métodos Dedutivos;

Argumentos Verbais

Ciência da Computação pág. 10 de 17

Esta atividade é importante para que você aprenda a trabalhar com expressões que

contenham variáveis cujo valor lógico vai depender do valor atribuído à variável, cuja

possibilidade não existia em fbf’s proposicionais

Para realizá-la é importante seguir os passos descritos.

PASSOS

Passo 1 (Individual)

Ler atentamente o capítulo do livro texto que descreve os conceitos introdutórios da lógica

de predicados, regras de dedução e métodos dedutivos. Ler também o texto a seguir

apresentado pelos proprietários da empresa Playing Game aos seus funcionários:

“Todo notebook tem uma entrada USB. Alguns notebooks têm leitor

biométrico. Portanto, alguns notebooks têm uma entrada USB e um