Loogika : Näidisülesanded ja harjutused
Date
2006Metadata
Show full item recordAbstract
Teoses püütakse jooniste, värvide, näidis- ja harjutusülesannete, aga ka teooria abil selgitada loogilise analüüsi protsessi.
Description
1.Aristotelese loogika ; 2.Lausearvutuse tehted ja tõestustabelid ; 3.Lausearvutuse valemid ; 4.Lausearvutuse valemite klassifikatsioon ; 5.Lausearvutuse reeglite kehtivuse kontrollimine ; 6.Lausearvutuse tekstülesanded ; 7.Predikaatarvutus