WYKŁAD III 13 listopada 2010 Zdam egzamin z prawa i zdam egzamin z logiki . p q Nieprawda, że zdasz egzamin z prawa i zdasz logikę. i lub ~(p ^ q) ↔(~p v ~q) PRAWA de Morgana 1. Negacja koniunkcji dwóch zdań jest równoważna alternatywie zanegowanych składników tej koniunkcji. Zdam egzamin z pra...
WYKŁAD IV 27 listopada 2010 S P Wisława Szymborska jest słynną poetką. Kraków jest pięknym miastem. Wiosna jest porą roku Ptasia grypa jest zakaźną chorobą. 5 jest liczbą nieparzystą. Krasnoludek jest małym stworzeniem. S jest P ...
Wykład 5 Przykłady zadań: Zaprzecz na 2 różne sposoby zdanie: Odpowiedź uzasadnij. Nieprawda, że jeżeli znasz matematykę, to znasz logikę. a) Jeżeli znasz matematykę, to znasz logikę ~ [~ (p - q) ] p - q b) Nieprawda, że znam matematykę, a (i) nie znam logiki ~ [~ (p - q) ] ~ ( p ^ ~ q) ~ (p - ...
1. Podaj przykład sytuacji, w której dym służyłby jako znak czegoś.W dawnych czasach jako znak ostrzegawczy dla wioski zapalało się ogniska na wzgórzach, ludzie widząc dym wiedzieli o zbliżającym się niebezpieczeństwie.2. Podaj przykład znaku: takiego, którego reguły znaczeniowe ustalone sąw zasięgu...
dr hab. Wiesław Bar. Notatka składa się z 4 stron i zawiera opracowane pytania na kolokwium dla trzech różnych grup. Notatka porusza m.in. zagadnienia takie jak: sądy w logice, sądy w psychologii, stosunek wykluczania się i krzyżowania, definicja nominalna, zadanie sprzeczne i podprzeciwne, obw...
A1 A - (B - A) nie należy E(M) - nie wprost \/ w(A - (B - A) = 0 \/ max(1-w(a), w(B - A)) = 0 \/ w(A) = 1 v w(B-A) = 0 \/ max(1-w(B), w(A)) = 0 \/ w(B) = 1 ^ w(A) = 0 4.1 i 6.2 sprzeczne A2 [A-(B-C)] -[(A-B) -(A-C)] nie należy \/ [A-(B-C)] -[(A-B) -(A-C)] = 0 \/ max (1-w(A-(B-C), w((A-B...
1) (A-B)-[(A-~B)-~A] (1) A-B (zał) (2) A-~B (zał) (3) ~~A (zał ni e wprost) (4) A (XXII', RO) (5) B (1,4,RO) (6)~B (2,4,RO) (7) 5 i 6 sprzeczne (8) 1 Є T (1-8, TDN) 2) (A^B) (B^A) 2' (A^B)-(B^A) (1) A^B (zal) (2) A^B- A (A3) (3) A^B-B (A4) (4) A (1,2,RO) (5) B (1,3,RO) (6) B-(A-B^A) (A5) (7) A-B^...
(1) A → A (2) (A → B) → [(B → C) → (A → C)] (3) [A → (B → C)] → [B → (A → C)] (4) [A → (B → C)] → (A ∧ B → C) (5) (A ∧ B → C) → [A → (B → C)] (6) (A → B) → [(A → C) → (A → B ∧ C)] (7) (A → B) → (~ B → ~ A) (8) (A → ~ A) → ~ A (9) (A ↔ B) → (A → B) (10) A ↔ A (11) (A ↔ B) → (B ↔ A) (12)...
1. Definicja zbiorów równolicznych i co to znaczy ze jeden zbiór jest niewiększej mocy niż drugi. 2. Udowodnić twierdzenie, ze suma uporządkowana zbiorów dobrze uporządkowanych jest dobrym porządkiem. 3. Udowodnić, że produkt dwóch surjek...
Bardzo obszerny pack notatek z logiki. Notatki, zestawy pytań, odpowiedzi - bardzo przydatny materiał. W treści notatek i zadań między innymi następujące pojęcia: opis aksjomatyczny zbioru twierdzeń, twierdzenie o dedukcji, dowód formuły, funkcja Łukasiewicza, koniunkcja, alternatywa, implikacja, ne...
