Conceitos Básicos de Lógica

Conceitos Básicos de Lógica

1. Sentenças Abertas

   • Possuem uma variável e por isso não podemos atribuir um valor lógico para elas. Não são proposições

2. Frases interrogativas, exclamativas ou imperativas

   • Não conseguimos atribuir um valor lógico para elas. Não são proposições

3. Paradoxos

   • Não são considerados proposições

4. Expressões sem sentido completo

   • Não são consideradas proposições

5. Proposições

   • São sentenças as quais podemos atribuir um valor lógico Verdadeiro ou Falso.
     • Sempre será uma sentença fechada, se for aberta não é uma proposição
   • Simples
     • elemento básico da lógica, uma única afirmação; "Arnaldo é alto"
   • Composta
     • duas ou mais proposições simples; "Arnaldo é alto e magro"
   • Geralmente são denominadas por letras
     • A- Arnaldo é alto
     • B- Arnaldo é magro

6. Princípios

   • Princípio da Identidade
     • Uma proposição verdadeira é verdadeira; uma proposição falsa é falsa
   • Princípio da não-contradição
     • Nenhuma proposição poderá ser verdadeira e falsa ao mesmo tempo
   • Princípio do terceiro excluído
     • Uma proposição ou será verdadeira, ou será falsa: não há outra possibilidade
       • Lógica Bivalente

7. Operadores Lógicos

   • ~ = negação
   • ^ = conjunção, chamado de "e" ou "mais"
   • v = disjunção, chamado "ou"
   • -> = condicional, chamada "se... então...."
   • <-> = bicondicional, lê-se "...se e somente se..."
   • v (vê sublinhado) = disjunção exclusiva, lê-se "ou...ou..."