Propositional logic in other texts. The notation may not follow exactly the one we are using.  

[JH_GUIDE] 61-70

[GP_MDSCS] 9-48 (also 54-56)

[WBOOK] Discrete Mathematics/Logic also Logic Page 2, up to, not including, Predicate logic

[VK_DSLN] 11-13, also 37-42 (interplay with predicate logic)

[RP_CDS] 95-104


The bracket expressions refer to References in English main page.


마지막 수정됨: 수요일, 3 10월 2018, 5:41 PM