Question

DIscrete Math

a. Convert the following argument into logic symbols and validate the argument: “I do not enjoy pizza. If I were a human or a dog, then I would be of this Earth. If I were of this Earth, I would enjoy pizza. If I am neither a human or a dog, then I must be an alien. Therefore, I am an alien.”

b. Convert the following argument into logic symbols and validate the argument: “If a thing is a cat, then it eats salami. There exists a thing which is a dog. If a thing is a dog, then it does not eat salami. There is a thing which is a salami. Therefore, there is a thing which is not a cat.”

Answer 1

Solution 7 aj convent the following augument into validate the and Logic Symbols augument je P: enjoy q! pizza I becue a human I wenam a clog 4: cauth would be on 4 cs 니어 alien. at : am as 1): np. )cquu) —Sp. 3) 4 (qu4) ► t on combine srarements these , we ger مد (دو) نام (ی ن (وو) و byt is a cat. is 5 P: A thing q: A thing M: A thing a Dog - is a Salami, s! it eat Saloni Di PS Haus) 8) : rup On combine these statements we get P-S1q+us) (sup) Solis