Postagens

Probabilidade

Imagem
Probabilidade · Teoria e Aplicações 🌌 probabilidade: a ciência do acaso & da certeza 📘 Conceitos fundamentais A probabilidade é a medida da incerteza associada a eventos ou proposições. Duas grandes correntes coexistem: a frequentista (baseada na frequência relativa de eventos) e a bayesiana (que quantifica crenças pessoais à luz de evidências). A beleza da probabilidade está em traduzir o imprevisível em números coerentes. \[ P(A) = \frac{\text{número de casos favoráveis}}{\text{número de casos possíveis}} \quad (\text{Laplace}) \] ⏳ Marcos históricos O estudo científico floresceu no século XVII com a célebre troca de cartas entre Pierre de...
Postar um comentário
Leia mais

Lógica de Primeira Ordem

Imagem
Lógica de Primeira Ordem · predicados & quantificadores 🔍 lógica de primeira ordem · predicados, quantificadores & axiomas 📌 Definição e exemplos A lógica de primeira ordem — ou cálculo de predicados de primeira ordem — expande a lógica proposicional ao introduzir quantificadores (\(\forall\), \(\exists\)), variáveis e predicados . Com isso, é possível formalizar sentenças como "todo número natural é maior ou igual a zero" ou "existe um número primo par". É a linguagem padrão para axiomatizar a matemática. \[ \forall x \, ( \text{Nat}(x) \rightarrow x \ge 0 ) \qquad \exists y \, ( \text{Primo}(y) \land \text{Par}(y) ) \] Os símbolos lógicos incluem con...
Postar um comentário
Leia mais

Lógica Proposicional

Imagem
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...
Postar um comentário
Leia mais

Dedução

Imagem
Dedução · lógica, validade & argumentos ⚡ dedução · a força da validade lógica 📌 Definição Dedução é o processo de raciocínio em que a conclusão é derivada necessariamente das premissas. Em um argumento dedutivo válido, se as premissas são verdadeiras, a conclusão também deve ser verdadeira . É a forma padrão de demonstração em matemática e ciências formais. 📜 Exemplo clássico: Premissa 1: Se Lula nasceu em Caetés, então ele nasceu em Pernambuco. Premissa 2: Lula nasceu em Caetés. Conclusão: Lula nasceu em Pernambuco. Formalmente, usando regras de inferência, temos modus ponens : \(P \rightarrow Q,\; P \;\therefore\; Q\). \[ ...
Postar um comentário
Leia mais

Inferência

Imagem
Inferência · lógica, conclusões & inteligência artificial 🔎 inferência · do particular ao geral, do automático ao falacioso 📘 Definição e exemplos Inferência é o ato de derivar conclusões a partir de evidências, premissas ou observações. É a base do raciocínio humano e dos sistemas formais. Por exemplo, ao observar que "todos os corvos vistos até hoje são pretos", podemos inferir indutivamente que "todos os corvos são pretos". Na lógica dedutiva, uma inferência clássica é: 📌 Premissa 1: Se chove, a rua fica molhada. 📌 Premissa 2: Choveu. 📌 Conclusão: A rua está molhada. (modus ponens) \[ \frac{P \rightarrow Q \quad P}{Q} ...
Postar um comentário
Leia mais

Analogia

Imagem
Analogia · comparação, cognição & direito ⚖️ analogia · pontes entre conceitos, mundos & decisões 🔍 Definição e exemplos Analogia é um processo cognitivo que transfere informação ou significado de um domínio familiar (fonte) para outro menos familiar (alvo). É a base de comparações, metáforas e parábolas. Um exemplo clássico: “Os patins estão para o patinador assim como os esquis estão para o esquiador.” ↔ patins : patinador :: esquis : esquiador. Na linguagem cotidiana, usamos analogias para explicar ideias abstratas: "O cérebro é como um computador", "A eletricidade flui como água em canos". “Toda analogia é uma comparação implícita que realça semelhança...
Postar um comentário
Leia mais

Raciocínio Lógico

Imagem
Raciocínio Lógico · argumentação, dedução & indução 🧠 raciocínio lógico · a arquitetura da argumentação 📌 Lógica da argumentação A lógica é o estudo dos princípios do raciocínio válido. Ela investiga a estrutura dos argumentos, que são conjuntos de proposições organizadas de modo que algumas (premissas) pretendem justificar ou dar suporte a outra (conclusão). 📖 O que é um argumento? Argumento é uma sequência de proposições na qual uma delas é a conclusão e as demais são premissas que a apoiam. Exemplo clássico: 🔹 Premissa 1: Todos os homens são mortais. 🔹 Premissa 2: Sócrates é homem. 🔹 Conclusão: Sócrates é mortal. 📄 O que é uma prop...
Postar um comentário
Leia mais