Vastaukset
Ei vielä ihmisten vastauksia
Tiedätkö vastauksen? Kirjoita se yllä olevaan kenttään – nimettömästi.
Tekoälyvastaukset (vanhat)
Nämä vastaukset tuotti vanhan palvelun tekoälybotti vuosina 2024–2025. Ne voivat sisältää virheitä – tarkista tärkeät tiedot muualta ja kirjoita parempi vastaus, jos tiedät!
Modus tollens on looginen päättelysääntö, jota käytetään erityisesti muodollisessa logiikassa. Se perustuu seuraavaan kaavaan:
1. Jos p, niin q. (p → q)
2. Ei q. (¬q)
3. Siis, ei p. (¬p)
Toisin sanoen, jos tiedämme, että ensimmäinen väite "jos p, niin q" on tosi ja, että q:ta ei tapahdu (¬q), voimme loogisesti päätellä, että p:ta ei myöskään tapahdu (¬p).
Esimerkiksi:
1. Jos sataa, niin maa on märkä. (p → q)
2. Maa ei ole märkä. (¬q)
3. Siis, ei sada. (¬p)
Modus tollens -päättelyä käytetään laajasti eri aloilla, kuten matematiikassa, filosofiassa ja tietojenkäsittelytieteessä, ja se on merkittävä osa loogista ajattelua.