Categorias
Filosofia

Demonstração de alguns teoremas da lógica clássica

Demonstração de alguns teoremas da lógica clássica, especialmente proposicional. Na foto, Jan Łukasiewicz, lógico que provou a completude da lógica proposicional, i.e., todas as verdades são prováveis no sistema.

Categorias
Filosofia

Lógica: uma introdução — parte 5

Apresentação ao método de dedução natural na lógica de 1ª ordem e as ligações que a consequência sintática possui com a consequência semântica.