lastscan

1

1)    Sprawdzić, czy wyrażenie jest tautologią klasycznego rachunku zdań: i(p v^)^A(p -> ó)]-*(ty -> p)

2)    Sprawdzić. czy zachodzi:

(A c B)a (C a D)—>(a~ D)cz (B - C)

3)    Określić zakres zmienności zmiennej „coraz funkcję zdaniową^(.r), aby spełniona była formuła:

-iV(.c g X )0{x)<-^ B(x g A )-^(.c)

4)    Znaleźć \J^A_t i Pj A_t, gdzie:

/eV    /łV

4 = /?: 2

l

< A' <5-r-

1

t +1    t + 1J

5) Dla danego zbioru X oraz relacji 9? c X² zbadać, czy 9] jest relacją równoważności Jeśli tak wskazać klasy abstrakcji tej relacji:

A' = {U...,ł6}, .v9h>->^!;_v, _v:

6) Niech /: R R będzie przekształceniem zadane wzorem /(.x)= E(x) i zbiór y4=\0,2), gdzie E(x) oznacza część całkowitą liczby x. Znaleźć f{ A) i /”¹(/{:4)).