kart1601

Grupa 1.4-X    16 stycznia 2006

Zadanie 1. (5 pkt) Dla rachunku zdań Pi sformułować: (i) definicję formuły dobrze zbudowanej, (ii) aksjomaty tego rachunku, (iii) regułu wnioskowania obowiązujące w Pi.

Zadanie 2. (5 pkt) Sformułować definicje funkcji n oraz i ustalających odpowiedniość między funkctorami ~ i —►, a operacjami w zbiorze {0,1}. Przedstawiierdzenie o rozstrzygalnoi rachunku zdań.

Zadanie 3. (5 pkt) Korzystając z dowolnej metody dowodowej (ciągu formuł w Ą, tabelo Schrbdera, metody nie wprost) zbadać czy poniższa formuła jest twierdzeniem:

I(P -»?)->(?-» r)] —> (r -> p) -> (? -»■ p)].