Lógica Matemática

Annotations:

• PROPOSIÇÃO, é um conjunto de palavras ou símbolos que transmitem uma ideia de sentido completo. Sempre temos um verbo em uma proposição, já que é uma afirmação.  NOTA: A Lógica Matemática possui dois princípios fundamentais, que são axiomas. 1-Princípio da não-contradição 2-Princípio do terceiro excluído.

1. Princípio da NÃO-CONTRADIÇÃO.

   Annotations:

   • Uma proposição não pode ser verdadeira e falsa ao mesmo tempo, ou é VERDADEIRA ou FALSA.
   1. Princípio do TERCEIRO EXCLUÍDO.

      Annotations:

      • Uma proposição só pode ser VERDADEIRA ou FALSA, mas não ambas.
2. Valor Lógico De Uma Proposição. V ou F.

   Annotations:

   • Uma proposição recebe o valor de VERDADE se for verdadeira e de FALSIDADE se for falsa. Podemos representar FALSO= F e VERDADE=V.
3. Proposição SIMPLES(ATÔMICA) ou COMPOSTA(MOLECULAR).

   Annotations:

   • SIMPLES: quando é formada por uma única proposição.(letras minúscula). COMPOSTA: quando é formada por mais de uma proposição componente.(letra maiúscula). NOTA:proposição composta pode ser componente de si mesma. 

Annotations:

• São palavras utilizadas na formação de novas proposições, com proposições já existentes.

1. ~

   Annotations:

   • NEGAÇÃO. Se é Falsa se torna Verdadeira e se é Verdadeira se torna Falsa. Para isso utilizamos o "não" antes do verbo da afirmação ou utilizamos "Não é verdade que" ou "É falso que", isso na linguagem corrente.
   1. ^

      Annotations:

      • CONJUNÇÃO: será VERDADEIRO se ambas as proposições envolvidas forem, para as outras situações será FALSA.
      1. v

         Annotations:

         • DISJUNÇÃO: