Page 1 of 1
Problem 7 (10 points): In earlier weeks, a lot of valid arguments we considered started off with statements of the form
Posted: Thu May 12, 2022 3:24 pm
by answerhappygod
- Problem 7 10 Points In Earlier Weeks A Lot Of Valid Arguments We Considered Started Off With Statements Of The Form 1 (41.8 KiB) Viewed 44 times
Problem 7 (10 points): In earlier weeks, a lot of valid arguments we considered started off with statements of the form All Pare Q, as in the following argument: Premise 1: All humans eat sandwiches. Premise 2: Gödel is human. Conclusion: Gödel eats sandwiches. Note that we would not like to translate Premise 1, 2, and Conclusion as propositional letters in PL. All of them are distinct statements, and if we were to construe them as simple statements which are translated as propositional letters, p, , ... in PL, each would be translated as a different propositional letter, and the following is not a valid form: Premise 1: P Premise 2: 9 Conclusion: r Is it possible to translate Premise 1, An humans eat sandwiches, to PL such that its logical structure is captured? If it is, present the translation. If it is not, explain why (i) the translation is not possible, and (ii) what would be required to formalize statements like Premise 1. (Explain in 50-100 words)