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

101

    Vastaukset 2

    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. kolme tunnistetta kaivatustasi

      Anna kolme tunnistetta kaivatussasi!
      Ikävä
      68
      1246
    2. Kai mua vähän

      Masentaa tämä kaikki. Tämä koko meidän välinen juttu on niin vaikea… Voitaisiinko molemmat lopettaa tilanteen ruokkimine
      Ikävä
      138
      1054
    3. Onko karhukanta jo liian iso? Lenkkeilijä kohtasi kontion juoksulenkillä

      Rantasalmella lenkkeilijä kohtasi karhun. Kylällä karhun näkeminen on ollut tosi harvinaista. Onko karhukanta jo liian i
      Maailman menoa
      111
      690
    4. S-ryhmän Israel-boikotti liiketalouden opintojen tapausesimerkkinä

      Tätä S-ryhmän Israel-boikottitapausta käsitellään jo kauppakorkeakoulujen ja johtamiskorkeakoulujen esimerkeissä. Se ant
      Maailman menoa
      22
      615
    5. Vanhat konkarit ulos Elämäni biisistä - Yle selittelee

      Elämäni biisi starttaa taas tänä syksynä. Mukana on ripaus uutta, mutta poissa on iso osa vanhaa... Poissa ovat Markku
      Tv-sarjat
      16
      601
    6. Oot upea nainen, älä vähättele ittees

      Ja tietojeni mukaan 2 muuta on susta kiinnostuneit mun lisäks. 👀
      Ikävä
      32
      551
    7. Mitä tehdä kun rakastan yhtä ja olen rakastunut toiseen

      Kamala tilanne. Voinko pitää molemmat? 😁
      Ikävä
      61
      541
    8. Mies miksi moinen vetäytyminen?

      1) Olit loukkaantunut tai suuttunut 2) Sulla oli toinen nainen 3) Luulit, etten halua jatkaa tutustumista 4) Vai joku
      Ikävä
      52
      509
    9. Mitä vit,,tua!

      Mikä hiivatin kommunistien teltta oli kirsikan nurkalla, olivat vähällä jäädä telttoinensa auton alle kun olivat sen kul
      Suomussalmi
      22
      486
    10. Hyvä Kukkola! toitte tänne taas jotain uutta

      Niin sitä pitää! Kehittää oikeasti tarjontaa. Nyt on maut kohdillaan! Käykäähän herkuttelemassa wingseillä ja siipiweikk
      Haapavesi
      62
      475
    Aihe