1. Other
  2. Other
  3. problem 1 undertsamding implication 20 marks let pq be two...

Question: problem 1 undertsamding implication 20 marks let pq be two...

Question details

Problem 1 (Undertsamding implication) [20 marks] Let p,q be two Boolean variables. By definition, the implication p is true if and only if p is false or q is true. Based on that, we have established the following practical tautologies Would these two tautologies still be true if we were changing the truth value of the implication p → q to that of L. pAq? 2. pVq? Justify your answer. Another way of phrasing the question would be the following. Wuld the above tautologies still be tautologies if we were 1. repacing → with Λ? 2. repacing with V? Problem 2 (Proving theorems!) [20 marks/ For each of the following statements, translate it into predicate logic and prove it, if the statement is true, or disprove it, otherwise 1. for any two even integers, there exists a third integer (even or odd) the double of which is equal to the sum of the first two integers 2. for any two odd integers, there exists a third integer (even or odd) the triple of which is equal to the sum of the first two integers

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution