COMP2214 - Lecture 02 - Deductive Proof (Propositional Logic)

LoadingLoading previews...
Handout
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0
Download (176kB)
    Handout
    Handout
    Print 2x2
    Print 2x2
    Deduction 1 Rodin archive
    Deduction 1 Rodin archive
    3 files in this resource

    COMP2214 - Lecture 02 - Deductive Proof (Propositional Logic)

    - Constructing Proof Trees - Inference Rules - Applying inference rules backwardly to construct proof trees

    Actions (login required)

    View Item View Item

    Toolbox

    There are no actions available for this resource.