ListazadanMD1, 2 Semestr, Matematyka dyskretna, MDzadania


MATEMATYKA DYSKRETNA LISTA ZADAŃ NR 1
Logika zdań, metody dowodzenia twierdzeń, logika predykatów

1. Czy następujące wypowiedzi są zdaniami logicznymi?

a) Czy liczba 0x01 graphic
jest większa od 1?

b) Liczba 0x01 graphic
jest większa od 1.

c) Sprawdź, czy liczba 0x01 graphic
jest większa od 1.

d) Liczba 0x01 graphic
jest większa od pewnej liczby naturalnej.

e) Liczba 0x01 graphic
jest większa od każdej liczby naturalnej.

f) Liczba 0x01 graphic
jest niewiększa od x.

2. Zapisać za pomocą zmiennych zdaniowych i ocenić wartość logiczną zdań:

a) 3<4 ∧ 4<3, 3<4 ∨ 4<3, 3<4 ⇒ 4<3, 3<4 ⇔ 4<3.

b) Jeżeli x i y są liczbami rzeczywistymi, to x+y=y+x.

c) Jeśli czworokąt jest kwadratem, to 2+2=4.

d) Jeśli nie pada deszcz, to świeci słońce i na niebie są chmury.

e) Jeżeli liczba a dzieli się przez 3 lub a dzieli się przez 7, to z faktu, iż a nie dzieli się przez 3 wynika, że a dzieli się przez 7.

f) Jeżeli liczba a dzieli się przez 2 i a dzieli się przez 7, to z faktu, iż a nie dzieli się przez 7 wynika, że a dzieli się przez 3.

3. Niech zdanie p jest prawdą, zdanie q jest fałszem oceń wartość logiczną następujących zdań:

a) [(p⇒q)∧¬q]⇒¬p.

b) [(p∨q)∧(p⇒q)]⇒(q⇒p).

c) (p∨q⇔p∨¬q)⇒(¬p∧q).

4. Sprawdź, czy poniższe formuły są tautologiami rachunku zdań:

a) (¬p⇒p)⇒p

b) (p∨q⇒p∨¬q)⇒¬p∨q

c) (p∨q⇒r)⇒[(p⇒r)∨(q⇒r)]

5. Zdefiniuj

a) koniunkcję za pomocą alternatywy i negacji,

b) alternatywę za pomocą koniunkcji i negacji.

6. Udowodnić następujące twierdzenia korzystając z odpowiednich metod dowodzenia

a) Jeżeli a>0 to 0x01 graphic
, dowód „wprost”.

b) 0x01 graphic
jest liczbą niewymierną, dowód „nie wprost” lub dowód przez sprowadzenie do sprzeczności.

c) 1+3+5+…+(2n-1)=n2, dla n∈N+, dowód indukcyjny.

7. Podać, które zmienne są wolne, a które związane w następujących formułach:

a) ∃x ∀y [(x<y)⇒(x<z)∧(x<y)],

b) ∃x (x2+y2=1) ∨ (x<z),

c) ∃y ∀x (x2+y2=z2).

8. Zapisz za pomocą logiki predykatów następujące zdania i oceń ich wartość logiczną oraz zapisz zaprzeczenia tych zdań:

a) Istnieje naturalna liczba parzysta.

b) Każda liczba naturalna przy dzieleniu przez 2 daje resztę 0 lub 1.

c) Kwadrat każdej liczby całkowitej jest nie mniejszy od tej liczby.

9. Oceń wartość logiczną następujących formuł oraz zapisz ich zaprzeczenia:

a) ∃x∈R x⋅y=1,

b) ∀x∈R x2≥0,

c) ∀x∈R ∃y∈R x+y=2,

d) ∀x∈N ∃y∈N 2x=y,

e) ∃x∈N ∀y∈N 2x=y,

f) ∃y∈N ∀x∈N 2y=x.

Czy można przestawić kwantyfikatory w zdaniach c-f?

10. Narysuj wykresy następujących funkcji zdaniowych

a) ∃x∈Z x⋅y=1,

b) ∃x∈R x2+y2=1,

c) ∀x∈R ∃y∈R x2-y2=0,

d) ∀y∈R ∃x∈R x+y=4.



Wyszukiwarka

Podobne podstrony:
ListazadanMD4, 2 Semestr, Matematyka dyskretna, MDzadania
ListazadanMD67, 2 Semestr, Matematyka dyskretna, MDzadania
ListazadanMD5, 2 Semestr, Matematyka dyskretna, MDzadania
ListazadanMD2, 2 Semestr, Matematyka dyskretna, MDzadania
fibb, Chomiczek, Studia, Semestr 2, Matematyka Dyskretna, Matematyka dyskretna
pytania na egz md, semestr 2, matematyka dyskretna II
pytegzmatdyskr2009wi, 2 Semestr, Matematyka dyskretna, matematyka dyskretna 2009, egzamin pytania i
odp to 29, Informatyka SGGW, Semestr 2, Matematyka dyskretna 2, dysk
tabelku do kolok A, Studia Informatyka 2011, Semestr 2, Matematyka dyskretna, labolatoria Dmytryszyn
dyskretna2, Studia, PWR, 2 semestr, Matematyka dyskretna
pytegzMatDyskr2010ZSB, 2 Semestr, Matematyka dyskretna, MDwyklady
dyskretna-przyklad-zadania-na-pierwsze-kolokwium, Studia, PWR, 2 semestr, Matematyka dyskretna, kolo
dyskretna-egzamin-zaoczne-szablon, Studia, PWR, 2 semestr, Matematyka dyskretna, kolokwium
dyskretna-egzamin-zaoczne, Studia, PWR, 2 semestr, Matematyka dyskretna, kolokwium

więcej podobnych podstron