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

85

    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
      115
      6677
    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
      369
      6089
    3. Miksi persut eivät häädä mamuja pois Suomesta?

      Sitä vartenhan persut äänestettiin valtaan. Nyt valta on persuilla. Mamut nostaa työttömyyskorvauksia. Persut huutaa mam
      Maailman menoa
      44
      4450
    4. 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ä
      12
      3825
    5. 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
      72
      3617
    6. 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
      111
      2826
    7. Sinä olet minun forEver

      Sinä olet minun sielussain, sydämessäin, huulillain, sinä olet ain, Sinä olet vieressäin, kainalossain, sylissäin, ain,
      Ikävä
      26
      2442
    8. Sanna Marinille pedataan paluuta pääministeriksi?

      Näyttäisi mylly lähteneen käyntiin nyt toden teolla. Nykyiset oikeistodemarit haukutaan vasemmistodemareiden toimesta ni
      Maailman menoa
      24
      2349
    9. 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
      22
      1846
    10. 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
      18
      1644
    Aihe