Ćwiczenia - Instytut Sterowania i Systemów Informatycznych ...

26.((p → q) ∧ (r → s)) ⇒ ((p ∨ r) → (q ∨ s))((p → q) ∧ (r → s)) ⇒ ((p ∧ r) → (q ∧ s))}prawa dylematu konstrukcyjnego}((p → q) ∧ (r → s)) ⇒ ((¬q ∨ ¬s) → (¬p ∨ ¬r))27.prawa dylematu destrukcyjnego((p → q) ∧ (r → s)) ⇒ ((¬q ∧ ¬s) → (¬p ∧ ¬r))28.29.30.PP ∨ QP ∧ QPPP → QQReguły wnioskowania}reguła wprowadzania alternatywy}reguła opuszczania koniunkcji⎫⎪⎬reguła modus ponendo ponens⎪⎭31.32.33.34.P → Q¬Q¬PP ∨ Q¬PQP → QQ → RP → RPQP ∧ Q⎫⎪⎬reguła modus tollendo tollens⎪⎭⎫⎪⎬reguła modus ponendo tollens⎪⎭⎫⎪⎬reguła sylogizmu hipotetycznego⎪⎭⎫⎪⎬reguła wprowadzania koniunkcji⎪⎭Złożenie relacjiZłożenie relacji (inna nazwa to iloczyn względny relacji) określa następująca definicja:ϱ 1 ◦ ϱ 2 = {(x, y)∃ z (x, z) ∈ ϱ 1 ∧ (z, y) ∈ ϱ 2 }Hierarchia ciągówPoniżej znajduje się hierarchia ciągów uporządkowanych w taki sposób, że każdy z ciągówjest ograniczony ciągami na prawo od niego 4 :4 Dla pewnego n ∈ N.1, log 2 n, . . . , 4√ n, 3√ n, √ n, n, n log 2 n, n √ n, n 2 , n 3 , n 4 , . . . , 2 n , n!, n n29