Title: PK - Predikaattilogiikka

Valitse predikaattilogiikan merkinnöillä kirjoitetuista väiteistä se, joka vastaa luonnollisella kielellä kirjoitettua väitettä. Päättele lisäksi väitteen totuusarvo annetuille joukoille \(A\) ja \(B\).

Mikä tahansa joukon \(A\) alkio voidaan esittää kahden joukosta \(B\) otetun alkion summana.

Summaamalla sopivat joukon \(B\) kaksi alkiota voidaan esittää mikä tahansa joukon \(A\) alkio.

Kun lasketaan mitkä tahansa joukon \(B\) kaksi alkiota yhteen, saadaan tulokseksi alkio joukosta \(A\).

Minkä tahansa kahden joukosta \(B\) valitun alkion summa on joukon \(A\) alkio.

Kun joukkoina \(A\) ja \(B\) ovat välit \(A=\left( 0, [value] \right) \) \(A=\left[ 0, [value] \right] \) ja \(B=\left( 0, 2 \right] \) \(B=\left[ 0, 2 \right) \), niin onko väite tosi vai epätosi?

Valitse predikaattilogiikan merkinnöillä kirjoitetuista väiteistä se, joka vastaa luonnollisella kielellä kirjoitettua väitettä. Päättele lisäksi väitteen totuusarvo annetulle joukolle \(A\).

Mikä tahansa joukon \(A\) alkio voidaan esittää kahden joukosta \(A\) otetun alkion tulona.

Kertomalla sopivat kaksi joukon \(A\) alkiota keskenään voidaan esittää mikä tahansa joukon \(A\) alkio.

Kun joukkona on väli \(A=\left( \(A=\left[ 0, [value], 0 [value] \right) \) \right] \), niin onko väite tosi vai epätosi?

Valitse predikaattilogiikan merkinnöillä kirjoitetuista väiteistä se, joka vastaa luonnollisella kielellä kirjoitettua väitettä. Päättele lisäksi väitteen totuusarvo annetuille joukoille \(A\), \(B\) ja \(C\).

Mikä tahansa joukon \(C\) alkio on mahdollista kirjoittaa joukosta \(A\) valitun alkion ja joukosta \(B\) valitun alkion erotuksena.

Joukon \(C\) alkiolle voidaan muodostaa esitys, jossa joukosta \(A\) sopivasti valitusta alkiosta on vähennetty joukosta \(B\) vastaavasti valittu alkio.

Kun valitaan satunnaisesti joukosta \(A\) alkio ja vähennetään siitä mikä tahansa joukon \(B\) alkio, saadaan aina joukon \(C\) alkio.

Joukon \(A\) alkion ja joukon \(B\) alkion erotus on joukon \(C\) jokin alkio.

Kun joukkoina \(A\), \(B\) ja \(C\) ovat välit \(A=\left[ 0, 1 \right] \) \(A=\left[ 0, 1 \right) \) \(A=\left( 0, 1 \right] \), \(B=\left( 0, 1 \right] \) \(B=\left[ 0, 1 \right) \) ja \(C=\left[ -1, 1 \right) \) \(C=\left( -1, 1 \right] \), niin onko väite tosi vai epätosi?