##monograph.return##
Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente