Example: air traffic controller
MATHEMATICAL LOGIC EXERCISES - UniTrento
Socrate says: “If I’m guilty, I must be punished; I’m guilty. Thus I must be punished.” Is the argument logically correct? Solution. The argument is logically correct: if pmeans “I’m guilty” and q means “I must be punished”, then: (p!q) ^pj= q (modus ponens)] Exercise 2.18. - Socrate says: “If I’m guilty, I must be punished;
Download MATHEMATICAL LOGIC EXERCISES - UniTrento
Information
Domain:
Source:
Link to this page: