Agreed. Helps for COMP2041 (though this has been cut from the course)Constip8edSkunk said:we've only done up to graphs right now... proofs prolly the hardest part ... but i gotta say the most annoying thing is the memorisation of the names for logic... modus this modus that, conjuctive this , synogiglcxncbncvlism that... ><