Trabalho de lógica
COMPUTADORES
PROPOSIÇÕES LÓGICAS
Aluno: LUIZ FERNANDES - RA 61010002434
Disciplina: LÓGICA
Professor: Me MARCELO CHRISTIANO F. JUNIOR
Campo Grande-MS
Março de 2013
PROPOSIÇÕES LÓGICAS
PROPOSIÇÕES SIMPLES E COMPOSTAS
OPERAÇÕES:
* NEGAÇÃO(~) * CONJUNÇÃO(^) * DISJUNÇÃO INCLUSIVA OU SOMA LÓGICA(v) * DISJUNÇÃO EXCLUSIVA(v) * CONDICIONAL() * BICONDICIONAL(↔ )
TABELA VERDADE
* TAUTOLOGIA * CONTRADIÇÕES * CONTINGÊNCIA
RELAÇÃO DE IMPLICAÇÕES E DE EQUIVALÊNCIA
* DEFINIÇÕES * RELAÇÃO DE IMPLICAÇÃO * RELAÇÃO DE EQUIVALÊNCIA * EQUIVALÊNCIAS NOTÁVEIS * PROPRIEDADES
Definição:
Define-se como proposição o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. As proposições transmitem pensamentos, que afirmam fatos ou juízos que formamos a respeito das coisas. Enfim, uma proposição é uma declaração a respeito de algum tema.
Proposições Simples As proposições simples são assim caracterizadas por apresentarem apenas uma ideia. Já as proposições compostas são assim caracterizadas por apresentarem mais de uma proposição conectadas pelos conectivos lógicos. Uma proposição é uma sentença declarativa que admite um e somente um dos valores lógicos-V ou F. Nas proposições lógicas apenas são válidas frases declarativas (com sujeito e predicado definidos) frases com sujeito oculto não são proposições. Exemplo de uma proposição lógica válida: O Brasil é um país do continente americano. Agora, vejamos uma frase inválida como proposição: x é um número ímpar. Frase declarativa, porém x é sujeito indefinido, logo é uma sentença aberta, não se sabe o valor e não poderá ser considerada uma sentença lógica. * 3+4=7 É uma proposição cujo valor lógico é verdadeiro. * 1>2 É uma proposição cujo