Dempster, Robert.Grayson, Diane J.Clarke, Matthew Charles.2022-10-212022-10-2119941994https://researchspace.ukzn.ac.za/handle/10413/20990Masters Degree. University of KwaZulu-Natal, Pietermaritzburg.Abstract available in PDF.enPropositional logic.Propositional expressions.Computer science logic.Possible Models Diagrams - a new approach to teaching propositional logic.Thesis