Modus tollens

Dalam kalkulus proposisional, modus tollens (//; MT; disebut juga modus tollendo tollens (Latin untuk "modus yang menyangkal dengan menyangkal")[1] atau menyangkal konsekuen)[2] adalah bentuk argumen valid dan aturan penarikan kesimpulan. Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah pernyataan adalah benar, maka kontra positif-nya juga benar. Jenis argumen ini sangat mirip dengan argumen jenis modus ponens. Namun, di sisi lain memiliki beberapa perbedaan dalam bentuk argumennya.[3]

  1. ^ Stone, Jon R. (1996). Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language. London: Routledge. hlm. 60. ISBN 0-415-91775-1. 
  2. ^ Sanford, David Hawley (2003). If P, Then Q: Conditionals and the Foundations of Reasoning (edisi ke-2nd). London: Routledge. hlm. 39. ISBN 0-415-28368-X. [Modus] tollens is always an abbreviation for modus tollendo tollens, the mood that by denying denies. 
  3. ^ Bobzien, Susanne (2002). "The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD" (PDF). Phronesis A journal for Ancient Philosophy (dalam bahasa Inggris). 47 (4): 260. doi:10.1163/156852802321016541. 

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne