Zusammenfassung der Ressource
Lógica proposicional
- Outros nomes
- Cálculo sentencial
- Cálculo proposicional
- Definição
- Estudo
- Sentenças declarativas
- Verdadeiras
- Falsas
- Proposições
- Simples
- Letras minúsculas
- Negação (¬p ou ~p)
- Compostas
- Letras maiúsculas
- 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
- Princípios
- Identidade
- Não contradição
- Terceiro excluído