Example: air traffic controller
MATHEMATICAL LOGIC EXERCISES - UniTrento

MATHEMATICAL LOGIC EXERCISES - UniTrento

Back to document page

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;

  Coaster

Download MATHEMATICAL LOGIC EXERCISES - UniTrento


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries