M1_zadania.pdf
(
140 KB
)
Pobierz
Zadania dodatkowe.indd
Zadania dodatkowe
Zadanie 1
Dokonaj rozbioru logicznego oraz narysuj odpowiednie struktury dla formuł:
(a) [(
¬
p
⇒
r
)
⇒
¬
(
¬
p
⇒
q
)],
(b)
¬
(
p
∧
r
)
∧
¬
(
¬
s
⇒
s
),
(c) (
¬
p
⇒
¬
r
)
∨
¬
(
¬
s
∧
q
).
Zadanie 2
Dane formuły zapisz w notacji polskiej:
(a) [(
p
⇒
¬
r
)
∧
¬
(
¬
p
⇒
q
)],
(b) (
p
⇒
¬
r
)
∧
¬
(
¬
s
⇒
s
),
(c) (
¬
p
∧
¬
r
)
⇒
¬
(
s
∧
¬
q
).
Zadanie 3
Dane formuły zapisz w notacji tradycyjnej:
(a) KENqsANpNq
,
(b) CANqsNKpNq
,
(c) ENAqsNEpNq
,
(d) CKqsNCNpq
,
(e) NKANpNqNEAqNsNApq
.
Zadanie 4
Sprawdź metodą tabelkową, czy podane formuły są tautologiami bądź kontrtautologiami rachunku
zdań.
(a) [(
¬
p
⇒
r
)
⇒
(
¬
p
⇒
q
)],
(b)
¬
(
¬
s
∧
q
)
∧
¬
(
p
⇒
q
),
(c) [(
¬
p
⇒
¬
r
)
∨
¬
(
¬
s
∧
q
)]
⇒
¬
(
¬
s
⇒
s
).
Zadanie 5
Sprawdź metodą skróconą, czy podane formuły są tautologiami rachunku zdań.
(a) [(
¬
p
⇒
r
)
⇒
(
¬
p
⇒
q
)],
(b)
¬
(
¬
s
∧
q
)
∨
¬
(
p
⇒
¬
q
),
(c) [(
¬
p
⇒
¬
r
)
∧
¬
(
¬
s
∨
q
)]
⇒
¬
(
¬
s
∧
p
).
Zadanie 6
Zaproponuj dwie formuły będące w koniunkcyjnej postaci normalnej tak, aby jedna była tautologią,
a druga nie.
Zadanie 7
Zaproponuj dwie formuły będące w alternatywnej postaci normalnej tak, aby jedna była kontrtautologią,
a druga nie.
Plik z chomika:
darkstone
Inne pliki z tego folderu:
M3_zadania.pdf
(67 KB)
M3_przyklady.pdf
(255 KB)
M3.pdf
(332 KB)
M2_zadania.pdf
(68 KB)
M2_przyklady.pdf
(241 KB)
Inne foldery tego chomika:
semestr II
Zgłoś jeśli
naruszono regulamin