Logica Da Matematica

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 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).

Fazer as atribuições:

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.

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

DATA DE ENTREGA DA ATIVIDADE: Na última semana de Maio

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

Aula-tema Algebra 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