Tutorialpropositionallogic_6.docx