Announces that the test has found the malware

(iii) Paul has a dog who does not like cats so Paul does not have a cat.

(iv) Jane is an engineer but sometimes also works in another job.

Which of the following conclusions is correct:

1. All volcanoes cause deaths

Explain your reasoning clearly.

(c) Check the validity of the following argument using a truth table:

(i) Possibility axiom

(ii) Successor State Axiom

Create a list of some of the constants, predicates and other symbols that might apply to your ontology and explain each one. Using these, create expressions that describe two distinct processes that might take place in the computer shop.

Question 4.