Logica

Li logica (gr. λόγος logos; parol, rason, argument) es subject filosofic pri li studie del sistemas per rasonement. Li logica on besona por distinger li just rasonement de lu íncorect e ínvalid. Aristoteles, qui es considerat li pionero in li studie del logica e su creator in su forma classic, ha considerat it quam li arte del argumentation correct e ver. Li logica es branche del matematica e informatica.

Sequent li definition classic de logica, on posse dir que ti tracte del scientie, que tracta super li rasonaments correct. Durant mult seculs it se ha developat anc un important comprension del rasonaments íncorrect o falsitá.

Exemplo:

Tut homans es mortal;
Sócrates es homan;
Sócrates es mortal (conclusion).