MAD s3 09 zaoczne kacprzak

Mjmmiyił Dyskretna 1 - materiały ćwiczeniowe Studia zaoczna PJWSTK W

SPRAWDZIAN III, grupa A

1. Sprawdź, czy formuła (p —► (q —♦ r)) —» ((p A q) —* r) jest tautologią rachunku /dań.

2.    Sprawdź, czy poniższo rozumowanie jest poprawne: Jeżeli dana wejściowa programu P spełnia warunek W 1 i spełnia warunek W2, to program ma obliczenie skończone. Zatem jeżeli program nie ma obliczenia skończonego, to dana wejściowa programu P nie spełnia warunku Wl.

3.    Sprawdź, czy formula (Vx)(a(x) V b(x)) *-* ((Vx)a(x) V (Vx)b(x)) jest tautologią rachunku predykatów.

4.    Podaj przykład struktury, w której formuła (Vx)(Vy)(3z)(x^v = z) jest prawdziwa i struktury, w której formula ta nie jest prawdziwa.