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.
Tag: Teoremas
Os CharásOs Charás
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.