Fundamentos de lógicas e matemática discreta

[pic]

SISTEMA DE ENSINO PRESENCIAL CONECTADO
CURSO SUPERIOR DE TECNOLOGIA EM ANALISE E DESENVOLVIMENTO DE SISTEMA

UÉLISSON APARECIDO DA SILVA

FUNDAMENTOS DE LÓGICA E MATEMÁTICA DISCRETA
CONSTRUÇÃO DE TABELAS VERDADES
LÓGICA PARACONSISTENTE
LÓGICA DE FUZZY

Ituiutaba
2009
uélisson aparecido da silva

FUNDAMENTOS DE LÓGICA E MATEMÁTICA DISCRETA
CONSTRUÇÃO DE TABELAS VERDADES
LÓGICA PARACONSISTENTE
LÓGICA DE FUZZY

Trabalho apresentado ao Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas da UNOPAR - Universidade Norte do Paraná, para a disciplina Fundamentos da Administração da Informação.

Orientador: Prof. Eliane Maria de Oliveira Araman

Ituiutaba

2009

1) Numa fábrica temos três funcionários que afirmam o seguinte:
Adalberto: “Se Cleber não foi ao trabalho, então José também não foi”. ~q ( ~r
Cleber: “Adalberto não foi ao trabalho, mas José foi.” ~p ^ r
José: “Eu fui ao trabalho, mas Cleber ou Adalberto não foram.” r ^ ~q v ~r
Sejam as seguintes afirmações: p: Adalberto foi ao trabalho. q: Cleber foi ao trabalho. r: José foi ao trabalho.

Tabela 1 – Tabela depoimento de Adalberto
|p |q |r |~q |~r |~q → ~r |
|V |V |V |F |F |V |
|V |V |F |F |V |V |
|V |F |V |V |F |F |
|V |F |F |V |V |V |
|F |V |V |F |F |V |
|F |V |F |F |V |V |
|F |F |V |V |F |F |
|F |F |F |V |V |V |

Tabela 2 – Tabela depoimento de Cleber
|p |q |r |~p |~r |~p ^ r |
|V |V |V |F |F |F |
|V |V |F |F |V |F |
|V |F