Totuustauluista

totuustauluja opiske

Kirjassani on esimerkkinä: | merkillä erotan sarakkeet.

p | q | p->q
E | E | T
E | T | T
T | E | E
T | T | T

Ihan alussa kerrotaan, että p -> q = jos p niin q. Mutta mikä q on sitten jos p ? Ensimmäisen rivin ymmärrän, että: jos p on epätosi ja q on epätosi niin tällöin jos p on epätosi niin p ja q ovat molemmat epätosia eli totta. Vai ymmärsinkö tämän oikein?

"jos p niin q" -mukaan koko jutunhan pitäisi riippua vaan p:stä. Mutta miksi viimeinen rivi on tällöin T ?

Voisko joku hieman selventää, että kuinka tällaista pitäisi "ajatella" tai "päätellä"?

2

83

    Vastaukset

    Anonyymi (Kirjaudu / Rekisteröidy)
    5000
    • yksi tapa ajatella

      p -> q

      tarkoittaa että jos p on tosi, niin myös q:n pitää olla totta, jotta tämä implikaatio on tosi.

      p voisi olla "olen keittiössä" ja q vois i olla "olen rakennuksessa"

      jos en ole keittiössö ei voida sanoa olenko rakennuksessa, mutta toisinpäin voidaan yleensä sanoa (jos olen keittiössä olen myös rakennuksessa)

    • Tämä ei ole varsinaisesti matematiikkaa, vaan muodollista logiikkaa, tarkemmin sanoen lauselogiikkaa. Siinä ilmaus p -> q tai oikeammin merkittynä p ⇒ q tarkoittaa samaa kuin ¬(p ∧ ¬q), ja se on määritelty joko näin tai totuustaululla. Missään muussa mielessä sen merkitys ei ole ’jos p, niin q’.

      Niinpä se, että viimeisellä rivillä on T, on joko määritelmään kuuluva asia tai suoraan määritelmästä johtuva asia (lausekkeen ¬(p ∧ ¬q) arvo kun p:n ja q:n arvo on T).

    Ketjusta on poistettu 0 sääntöjenvastaista viestiä.

    Luetuimmat keskustelut

    1. Kuolemanrangaistus

      Mielestäni kuolemanrangaistus on väärin kaikissa tilanteissa. Vaikka joku olisi murhannut 10 ihmistä, hänen surmaaminen
      Laki ja rikos
      71
      5545
    2. Muistakaa persut, että TE petitte, ei kokoomus

      Miksikö kukaan ei arvostele kokoomusta? No sen vuoksi, että kokoomus noudattaa vaalilupauksiaan. Sen sijaan TE persut,
      Maailman menoa
      272
      4857
    3. Riikka Purra ei estä tehomaksun käyttöönottoa

      Sähkön hinnoittelua koskevan määräyksen on määrä astua voimaan vuoden 2029 alusta, Energiavirastosta kerrotaan. Määräyk
      Maailman menoa
      39
      3168
    4. Seuraava hallituspohja - Kokoomus, kepu, persut + KD

      Kokoomus saa ainakin 20% kannatuksen ensi vaaleissa, keskusta sanoisin noin 15%, persut todennäköisesti enemmän, ehkä 17
      Maailman menoa
      255
      2994
    5. Outo ilmiö - vasemmistolaiset eivät kirjoita mitään kokoomuksesta

      joka sentään johtaa hallitusta, ja jonka talouspolitiikkaa noudatetaan. Nämä muutamat vasemmistolaiset jotka täällä aina
      Maailman menoa
      103
      2630
    6. Lopetan ikävöinnin

      Ei meistä enää koskaan tule mitään. Olen ikävöinyt ja kaivannut enkä saa mitään vastakaikua ja lämpöä. Parempi erillään
      Ikävä
      5
      2092
    7. Maria Veitola kommentoi soutelija Saarion huomionhakuisuutta

      "Minusta on jotenkin kuvottavaa, kuinka kovalla intensiteetillä Suomi-media seuraa miessankari Jari Saarion merihätää. S
      Kotimaiset julkkisjuorut
      336
      2052
    8. Muovipusseista pitäisi saada panttimaksu takaisin

      Ostan joka päivä yhden muovipussin, ja niistä palautuu keskimäärin takaisin kaupan pullomaatin yhteydessä olevaan roskik
      Maailman menoa
      65
      1771
    9. Väestöstä vain vassarit vaihtuvat nopeammin kuin persut

      Kevääseen 2023 verrattuna vassareita 50 prosenttia enemmän, ja persuja 25 prosenttia vähemmän.
      Maailman menoa
      15
      1555
    10. Jos kaikki lopulta kuolevat, onko edes pahimmillakaan rikoksilla mitään väliä?

      Kaikki kuolevat lopulta. Siksi ihmisten tekemillä rikoksillakaan ei lopulta ole mitään merkitystä. Joidenkin mielestä t
      Filosofia
      2
      1546
    Aihe