Blogs sobre: Conectivos
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… more →
Sophisticis Elenchis
Regras de inferência - parte II
— 3 comments
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 - Sintaxe
— 2 comments
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
wrote 2 months ago: Este artigo se propõe a discutir o significado dos conectivos lógicos; para tanto, é necessário inve … more →
