ATPS Logica Matematica

FACULDADE DE CIENCIAS APLICADAS DE CASCAVEL UNIDADE AVENIDA
(ANHANGUERA EDUCACIONAL)

Etapa 1 ^ 2

CURSO: Ciência da computação - Fase3
DICIPLINA:
PROFESSOR (a): Pamela Gonçalves

ALUNOS:
Leandro Broll – RA 8419159565
Luiz Dal Magro – RA 8406136194
Mauro Vitorino de Souza – RA 9911152468
Douglas Andre Signori Ramos – RA 9906119085
Djonata Diego Henzel – RA 9934556633

Introdução
Neste trabalho foram introduzidos os conceitos sobre os princípios da lógica proposicional, proposições, os princípios da não-contradição, terceiro excluído, e ainda falamos sobre conectivos lógicos, como são montadas as tabelas-verdade de, negação, conjunção, disjunção, condicional, bicondicional e disjunção exclusiva e também como simplificar a construção de estruturas proposicionais e os conceitos da lei De Morgan e como se aplica esta lei.

Etapa 1
Passo 1

Logica proposicional – É um sistema logico que busca formalizar a noção de proposição, e de como um conjunto de proposições pode ser criado pela combinação de proposições de forma a gerar um resultado consistente que possa ser aplicado para determinar se este conjunto e verdadeiro ou falso.
Proposição - É uma afirmação qualquer que fazemos, que pode assumir o valor Verdadeiro (V) ou Falso (F).
Por exemplo:
“Hoje está chovendo.”
“O Sol é amarelo.”
“Você está doente.”
Exemplos de não proposições:
“Você irá sair hoje?.”
“Talvez ela saia.”
Para ser assumido como uma proposição, uma sentença deve adequar as seguintes regras básicas:
Principio da Não-Contradição: uma proposição não pode ser Verdadeira ou Falsa ao mesmo tempo. Ou seja, se temos uma proposição: “Está chovendo”, isto tem de ser Verdadeiro ou Falso (Está chovendo ou não está chovendo) e nunca os dois ao mesmo tempo.
Principio do Terceiro Excluído: uma proposição obrigatoriamente deve ser Verdadeira ou Falsa, não podendo existir uma terceira possibilidade. Ou seja, se temos uma proposição “A Lua é quadrada”, a proposição deve ser Verdadeira