Lógica proposicional

Lógica proposicional

1. Outros nomes

   • Cálculo sentencial
   • Cálculo proposicional

2. Definição

   • Estudo
     • Sentenças declarativas
       • Verdadeiras
       • Falsas
       • Proposições
         • Simples
           • Letras minúsculas
           • Negação (¬p ou ~p)
         • Compostas
           • Letras maiúsculas

3. Sentença aberta

   • Possui
     • Um valor variável
   • Não são
     • Proposições
   • Exemplos
     • x + 2 = 7
     • y > 3
     • "Ele é muito alto"
       • Ele quem?
   • Contraexemplos
     • 1 + 1 = 3
       • Proposição
         • Mesmo sendo falsa

4. Princípios

   • Identidade
   • Não contradição
   • Terceiro excluído