Blogs sobre: Calculo Proposicional
Blog em Destaque
Regras de inferência - parte II
Regras de inferência são regras sintáticas que produzem enunciados válidos em um sistema formal. A partir de um conjunto de proposições podemos derivar outras seguindo estas regras. No artigo “R… mais →
Sophisticis Elenchis
Regras de inferência - parte II
— 3 comments
Sofista wrote 1 month ago: Regras de inferência são regras sintáticas que produzem enunciados válidos em um sistema formal. A p … more →
Lógica Matemática - Semântica
— 2 comments
Sofista wrote 1 month ago: Até o momento foram apresentados somente os aspectos sintáticos da nossa linguagem L. Dessa maneira, … more →
Lógica Matemática - Sintaxe
— 2 comments
Sofista wrote 2 months ago: Bom, chegou a hora de penetrar definitivamente no simbolismo matemático da lógica. Após uma breve ex … more →
Lógica Matemática - Conectivos
— 2 comments
Sofista wrote 2 months ago: Este artigo se propõe a discutir o significado dos conectivos lógicos; para tanto, é necessário inve … more →
Lógica Matemática - Proposições
Sofista wrote 3 months ago: Proposições Uma das linguagens formais mais importantes da lógica é o cálculo proposicional. Geralme … more →
