Lógica proposicional

Temas deste capítulo

Plano editorial: 32 temas. Só os que têm ligação já estão escritos e publicados.

1. O que são os conetivos lógicos?
2. O que é a negação lógica?
3. O que é a conjunção lógica?
4. O que é a disjunção lógica?
5. O que é a disjunção exclusiva?
6. O que é a implicação lógica?
7. O que é a equivalência lógica (bicondicional)?
8. O que é a tabela de verdade?
9. O que é uma contradição lógica?
10. O que é uma contingência?
11. O que são as leis de De Morgan?
12. O que é a lei da dupla negação?
13. O que são as leis distributivas da lógica?
14. O que são as leis de absorção?
15. O que é a contrapositiva de uma implicação?
16. O que é a recíproca e a inversa de uma implicação?
17. O que é a forma normal disjuntiva?
18. O que é a completude funcional dos conetivos?
19. O que é o conetivo NAND e NOR?
20. O que é o problema SAT?
21. O que é a precedência dos conetivos lógicos?
22. Como calcular a tabela de verdade de uma proposição composta?
23. Como calcular a negação de uma implicação?
24. Como calcular a forma normal de uma proposição?
25. Como verificar se duas proposições são equivalentes?
26. Como verificar se uma proposição é uma tautologia?
27. Como simplificar uma proposição lógica?
28. Como negar uma proposição composta?
29. Qual é a diferença entre a implicação e a equivalência lógica?
30. Qual é a diferença entre uma tautologia e uma contradição lógica?
31. Exercícios resolvidos de tabelas de verdade
32. Quais são os erros mais comuns na lógica proposicional?

← Todos os artigos de Matemática Discreta