Lógica Proposicional
Lógica Proposicional · conectivos & tabelas-verdade 🧠 lógica proposicional · verdade, tabelas & equivalências 📘 Definição e exemplos A lógica proposicional estuda proposições — frases declarativas que podem ser julgadas como verdadeiras ou falsas (valoração V ou F). Exemplos clássicos: "2 é par" (V), "7 conectivos lógicos (\(\land, \lor, \neg, \rightarrow, \leftrightarrow\)), criamos fórmulas complexas. \[ P: \text{"O número 24 é múltiplo de 3"} \quad (\text{V}) \\ Q: \text{"Brasília é a capital do Brasil"} \quad (\text{V}) \\ P \land Q \equiv V \] 🔹 Proposições simples e composta...