Tutustuttiin Loogisiin virtapiireihin (s 34-37) sekä ratkaistiin tehtävät 77-79.





Predikaattilogiikka eli avoimet loogisia lauseet (s 30-34)
jätetään tällä kurssilla hyvin vähälle käsittelylle

Esimerkiksi P(x) = "x on pääkaupunki" (x on muuttuja)

Tällöin P(Helsinki) on tosi, P(Kankaanpää) on epätosi, myös P(Turku) on tällä hetkellä epätosi.

Predikaattilogiikan totussarvotaulukossa pitäisi käsitellä kaikki mahdolliset muuttujan arvot (mikä ylläolevan esimerkin tapauksessa on jokseenkin työlästä).

Predikaattilogiikkaan liittyy myös käsite kvanttori, kvanttoreita ovat "kaikki" ja "on olemassa".

Harjoitustehtävät: 69