Atps De Matematica

PASSOS

Passo 1 (Aluno)

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 leitor biométrico”.

Passo 2 (Equipe)

Traduzir para a linguagem de predicados o enunciado do desafio dado no passo 2; fazer uso

da simbologia estudada no livro texto e da notação: N(x)para “x é um notebook”, U(x) para

“x tem uma entrada USB” e B(x)para “x tem leitor biométrico”.

Passo 3 (Equipe)

Responder: Qual das alternativas abaixo, mostra as regras de dedução usadas (na ordem da

prova) para demonstrar a validade do argumento encontrado no passo 3?

(a) particularização existencial(pe); particularização universal(pu); simplificação(simp);

modus ponens(mp); conjunção(conj); comutatividade(com); generalização existencial

(ge).

(b) particularização universal (pu); simplificação(sim); modus tollens(mt); dupla

negação(dn) ; conjunção(conj); adição(ad); generalização existencial(ge).

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

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

Passo 4 (Equipe)

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

 o argumento encontrado no passo 3, bem como todo raciocínio realizado para montálo;

 a demonstração da validade do argumento realizada no passo 4, apresentando todas

as regras de dedução utilizadas nesta prova;

 a letra encontrada após a atribuição feita no passo 5.

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

 Aula tema: Álgebra de Boole.

Esta atividade é importante para que você aprender se certa estrutura matemática é

uma álgebra de Boole, desenhar um circuito lógico para representar uma expressão booleana

e escrever a função booleana que representa um circuito lógico.

Ciência da Computação – 2ª Série – Lógica Matemática

Gesiane de Salles Cardin Denzin

Pág. 10 de 11

Para realizá-la é importante seguir os passos