Fundamentos de lógicas e matemática discreta
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