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:
sebcio97
Inne pliki z tego folderu:
matematyka-korepetycje cz3.rar
(21069 KB)
matematyka-korepetycje cz4.rar
(23323 KB)
matematyka-korepetycje cz5.rar
(26907 KB)
matematyka w zadaniach ekonomiczno-technicznych pochodne,granice.rar
(19284 KB)
NotatkiStudenta-Analiza Matematyczna.pdf
(1973 KB)
Inne foldery tego chomika:
testy gimnazjum
= Egzaminy Zawodowe - Testy Zawodowe
= Ekonomia
= Encyklopedie
= Hotelarstwo
Zgłoś jeśli
naruszono regulamin