MAA11/2017

Tunti 20.4.2017

Voitte jatkaa sanallisia tehtäviä kappaleista Lauseen totuusarvot sekä Implikaatio ja Ekvivalenssi

pedaNetissä on edellisten tehtävien ratkaisuja.

Aiemmin tehtiin tehtävä, jossa jotkut (syyttömät) puhuvat aina totta ja toise (syylliset) aina valehtelevat. Tämän tapaisen tehtävän ratkaisussa jokaisen henkilön tyypin täystyy vastata hänen väitteensä totuusarvoa. Jos esim. [[$A = \text{" A tai B syyllinen"}$]], eli A=1 tarkoittaa, että A on syytön ja väite formalisoituna on [[$\neg A \wedge \neg B$]]. Totuustarvojen vastaavuus voidaan tutkia samoin kuin aiemminkin, mutta jos halutaan väite, jonka on saatava totuusarvo 1, se on [[$ A \Leftrightarrow (\neg A \wedge \neg B)$]] . Jokaisen lausujan totuusarvon täytyy siis olla ekvivalentti hänen lausumansa väitteen kanssa.

Tehtäviä

46 , 49 ja 57 (huom näissä tiedetään väitteet tosiksi)

Totuustauluharjoitus 47

sekä

väitteiden ekvivalenssiin perustuvat

59 ja 60

Peda.net käyttää vain välttämättömiä evästeitä istunnon ylläpitämiseen ja anonyymiin tekniseen tilastointiin. Peda.net ei koskaan käytä evästeitä markkinointiin tai kerää yksilöityjä tilastoja. Lisää tietoa evästeistä