Proposições

Lógica de Primeira Ordem: Sentenças, Proposições, Conectivos Lógicos, Princípios Fundamentais e Tabelas-Verdade

A lógica formal não se ocupa com os conteúdos pensados ou com os objetos referidos pelo pensamento, mas apenas com a forma pura e geral dos pensamentos, expressa pela linguagem.

(mais…)