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ä"?
Totuustauluista
totuustauluja opiske
2
101
Vastaukset 2
- 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
Anni Ihamäki saa tylyä kommenttia TTK:sta - Erityisesti tämä "vääryys" ärsyttää
Kaikille ei ole mieleen se, että Anni Ihamäki on mukana uudella Tanssii Tähtien Kanssa -kaudella. Ihamäki saa varsin ty401266Päivän Riikka: Pandan suklaatehdas Jyväskylästä Viroon
Menkää töihin! Viroon! --- Liki sata vuotta kestänyt suklaantuotanto makeisvalmistaja Pandan tehtaalla Vaajakoskella pä2981093Tiesitkö? Vappu Pimiän ensimmäinen aviomies ei ole Teemu-rakas
Vappu Pimiä on tätä nykyä naimisissa Teemu Huuhtasen kanssa. Pimiä on toista kertaa naimisissa, sillä ensimmäinen liitto25919Mitä et ole valmis sietämään ihmissuhteissasi ja miksi?
Aiemmin jo kyseltiin mitkä vaatimukset olivat mielestänne liiallisia. Kyselläänkin nyt sitä, että millaisilla asioilla s299910Älä nyt ylikuormitu vaikka sinusta pidänkin rakas nainen
Tiedän, että olet minulle oikea. En halua pilata tätä juttua malttamattomuudella, mutta epäilen. Haluan vain olla lähel33781Treffi-ilmoituksia!
Tähän avaukseen voipi treffeille halukkaat laittaa oman - lyhyen - vapaamuotoisen hakunsa,burneri emaileinee). Tavoitte193662Kai mua vähän
Masentaa tämä kaikki. Tämä koko meidän välinen juttu on niin vaikea… Voitaisiinko molemmat lopettaa tilanteen ruokkimine106621- 61585
- 35543
- 40536