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

2023-05-19