1. Your friend in graduate school, John Doofus, has in vented a set of rules of

 

inference for the language of first order logic (called ‘FOL’ in the book). His system

 

is called ‘Doofus’.

 

One day you discover that there’s an argument, Argument1, that Doofus

 

can prove, but which you can show that Fitch cannot prove.

 

a) Is Argument1 valid or invalid?

 

b) What property does Fitch possess that justifies your answer to a)? Include a

 

brief (one or two sentence) justification in your answer.

 

c) What must be true about Structures in virtue of your answer to a)?

 

d) What property does Doofus possess in virtue of its ability to prove Argument1?

 

After further investigation, you discover a new argument, Argument2. You

 

demonstrate that Doofus cannot prove Argument2, but Fitch can prove

 

Argument2.

 

e) Is Argument2 valid or invalid?

 

f) What property does Fitch possess that justifies your answer to e)? Include a

 

brief (one or two sentence) justification in your answer.

 

g) What property does Doofus possess in virtue of its inability to prove

 

Argument2?

 


What Students Are Saying About Us

.......... Customer ID: 12*** | Rating: ⭐⭐⭐⭐⭐
"Honestly, I was afraid to send my paper to you, but you proved you are a trustworthy service. My essay was done in less than a day, and I received a brilliant piece. I didn’t even believe it was my essay at first 🙂 Great job, thank you!"

.......... Customer ID: 11***| Rating: ⭐⭐⭐⭐⭐
"This company is the best there is. They saved me so many times, I cannot even keep count. Now I recommend it to all my friends, and none of them have complained about it. The writers here are excellent."


"Order a custom Paper on Similar Assignment at essayfount.com! No Plagiarism! Enjoy 20% Discount!"