COS2661 assignment 3 – COS2661 Assesment Question 1 1. [∀𝑥 [(𝐵𝑟𝑜𝑤𝑛(𝑥)) ∧ 𝐷𝑜𝑔(𝑥)) → 𝐻𝑎𝑖𝑟𝑦(𝑥)] 1
More documents for this module
Browse 107 more documents for COS2661 – Formal Logic II.
Related documents
Popular documents students also use for this course.
