SPIS TREŚCI. Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury...
|
|
- Kinga Piasecka
- 5 lat temu
- Przeglądów:
Transkrypt
1 SPIS TREŚCI Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury... XI XIII XVII Rozdział I. Pojęcie logiki i jej struktura Pojęcie Struktura Logika a nauki pokrewne... 5 Rozdział II. Znak, kategorie syntaktyczne Pojęcie znaku Język, stopnie języka, role semiotyczne wypowiedzi I. Język II. Stopnie języka III. Role semiotyczne wypowiedzi Kategorie syntaktyczne Podsumowanie Rozdział III. Nazwy Budowa nazwy Denotacja nazwy Konotacja nazwy Podsumowanie Rozdział IV. Definiowanie Rozdział V. Stosunki między zakresami nazw Podsumowanie Rozdział VI. Zbiory Działania na zbiorach I. Iloczyn logiczny zbiorów II. Suma logiczna zbiorów III. Różnica logiczna zbiorów... 70
2 VI 14. Zależności między zbiorami Podsumowanie Rozdział VII. Podział logiczny Podsumowanie Rozdział VIII. Sądy i zdania Wypowiedź niezupełna Zdanie i jego wartość logiczna Prawdziwość zdań Zdania o niejednoznacznej wartości logicznej Rodzaje zdań Związki logiczne między zdaniami Funkcja zdaniowa Podsumowanie Błędy w słownym przekazywaniu myśli Rozdział IX. Modalność wypowiedzi Zdania modalne Interpretacje wypowiedzi modalnych Wieloznaczność wypowiedzi modalnych I. Interpretacja jednostronna II. Interpretacja dwustronna Rozdział X. Pytania i odpowiedzi Pytania Odpowiedzi Rozdział XI. Relacje Pojęcie relacji Konwers (odwrotność) relacji Rodzaje relacji I. Relacja symetryczna II. Relacja asymetryczna (przeciwsymetryczna) III. Relacja nonsymetryczna (niesymetryczna) IV. Relacja tranzytywna (przechodnia) V. Relacja atranzytywna (przeciwprzechodnia) VI. Relacja nontranzytywna (nieprzechodnia) VII. Relacja spójna (koherentna) VIII. Relacja przeciwspójna (akoherentna) IX. Relacja niespójna (inkoherentna) X. Relacja zwrotna XI. Relacja przeciwzwrotna (azwrotna) XII. Relacja niezwrotna (nonzwrotna) Mnożenie relacji Podsumowanie
3 VII Rozdział XII. Funktory prawdziwościowe Pojęcie funktora prawdziwościowego Koniunkcja Alternatywa I. Alternatywa zwykła (nierozłączna) II. Alternatywa rozłączna (sprzeczność) Implikacje I. Implikacja zwykła (ekstensywna) II. Implikacja odwrotna (intensywna) III. Implikacja wzajemna (równoważność) Wynikanie Dysjunkcja (negacja koniunkcji) Binegacja (negacja alternatywy) Inne funktory prawdziwościowe Funktory nieprawdziwościowe Podsumowanie Rozdział XIII. Prawa rachunku zdań Tautologie I. Prawa z jedną zmienną Zasada tożsamości Zasada wyłączonego środka Zasada sprzeczności Zasada podwójnego przeczenia II. Prawa z dwiema zmiennymi zdaniowymi I prawo de Morgana prawo zaprzeczenia koniunkcji II prawo de Morgana Prawo negowania implikacji Prawo transpozycji Modus ponendo ponens tryb przez stwierdzanie stwierdzający Modus tollendo tollens tryb przez zaprzeczenie zaprzeczający Modus ponendo tollens Modus tollendo ponens Prawo przemienności koniunkcji Prawo przemienności alternatywy nierozłącznej Prawo przemienności alternatywy rozłącznej Prawo przemienności równoważności Prawo przemienności dysjunkcji Prawo przemienności binegacji III. Prawa z co najmniej trzema zmiennymi Prawo sylogizmu hipotetycznego Prawo eksportacji Prawo importacji Prawo dylematu konstrukcyjnego Dylemat konstrukcyjny prosty Dylemat konstrukcyjny złożony
4 VIII IV. Definiowanie funktorów prawdziwościowych za pomocą funktora binegacji Kontrtautologia Metody badania funkcji logicznych Podsumowanie Rozdział XIV. Rozumowania na zdaniach kategorycznych Zdania kategoryczne I. Stosunki między zakresami nazw w zdaniach kategorycznych Zdanie ogólnotwierdzące (SaP) Zdanie ogólnoprzeczące (SeP) Zdanie szczegółowotwierdzące (SiP) Zdanie szczegółowoprzeczące (SoP) II. Rozłożenie terminów w zdaniach kategorycznych Rozumowania bezpośrednie przez dodanie funktorów Rozumowania z opozycji (kwadrat logiczny) Zwrot tylko w zdaniach kategorycznych Przekształcenia zdań kategorycznych I. Kontrapozycje II. Inwersje Podsumowanie Rozdział XV. Rozumowania pośrednie. Sylogizm kategoryczny Sylogizm prawniczy Sprawdzanie poprawności trybów sylogistycznych za pomocą diagramów Venna Błędy we wnioskowaniach Rozdział XVI. Rozumowania Rozumowania zawodne Wyjaśnianie I. Indukcja zupełna II. Indukcja niezupełna III. Indukcja eliminacyjna Kanon jedynej zgodności Kanon jedynej różnicy Kanon zgodności i różnicy Kanon zmian towarzyszących Kanon reszt IV. Indukcja statystyczna Rozumowania redukcyjne a rozumowania dedukcyjne Sprawdzanie I. Sprawdzanie ze skutkiem pozytywnym II. Sprawdzanie ze skutkiem negatywnym
5 IX 63. Eksperyment Rozumowanie z analogii I. Wnioskowanie per analogiam Rozdział XVII. Logika a wykładnia prawa Wypełnianie luk prawnych I. Rozumowanie per analogiam II. Wnioskowanie a contrario III. Wnioskowanie a fortiori Rozdział XVIII. Uzasadnienie wyroku Struktura uzasadnienia orzeczenia sądowego Język orzeczeń sądowych Rozdział XIX. Sofizmatyka Transdukcje i nadinterpretacje I. Błąd przypadkowości (fallacia accidentis) II. Przejście od znaczenia względnego do znaczenia bezwzględnego (transitus a dicto secundum quid ad dictum simpliciter) III. Przejście od jednego rodzaju do drugiego rodzaju (transitus de genere ad genus) IV. Sofizmat indukcji (sophisma inductionis, secundum quid) V. Sofizmat kompozycji VI. Błąd niewłaściwej przyczyny (fallacia non causae ut cause) VII. Inne błędy lub chwyty retoryczne Błąd następnika (non sequitur, fallacia consequentis) Stracenie wątku (ignorantio elenchi) Żądanie zasady, podstawy (petitio principia) Sofizmat podwójnego pytania (sophisma duplicis interrogationis ut unius) Ustawiczne powtarzanie (sophisma goebelsianis) Sofizmat asekuracji Sofizmat autorytetu (argumentum ad verecundiam) Sofizmatyzm aprioryzmu oraz ignorowanie argumentacji (argumentum ad lapidem) Sofizmat bifurkacji oraz sofizmat pozornego dylematu Sofizmat elokwencji Sofizmat erudycji Argumentum ad publicum Mieszanie prawdy z fałszem Argumentum ad ignorantiam Argumentum ad personam Argumentum ad hominem Argumentum ad populum Argumentum ad antiquitam Argument do kija (argumentum ad baculum)
6 X 20. Argument do mieszka (argumentum ad crumenam) Argumentum ad vanitatem Rozdział XX. Domniemania Rozdział XXI. Prawdopodobieństwo Indeks rzeczowy
Spis treści. Wykaz skrótów... Wykaz literatury... Przedmowa... XXIII
Wykaz skrótów... Wykaz literatury... XI XV Przedmowa... XXIII Rozdział I. Pojęcie logiki i jej struktura... 1 1. Pojęcie... 1 2. Struktura... 2 3. Logika a nauki pokrewne... 5 Rozdział II. Znak, kategorie
Bardziej szczegółowoTadeusz Widła Dorota Zienkiewicz. Logika
Tadeusz Widła Dorota Zienkiewicz Logika SKRYPTY BECKA Logika W sprzedaży: E. Nieznański LOGIKA, wyd. 3 Podręczniki Prawnicze W. Gromski, M. Błahut, J. Kaczor TECHNIKA PRAWODAWCZA Podręczniki Prawnicze
Bardziej szczegółowoRozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20
Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia
Bardziej szczegółowoKrakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego Karta przedmiotu obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 01/013 WydziałPrawa, Administracji i Stosunków Miedzynarodowych Kierunek
Bardziej szczegółowoRachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
Bardziej szczegółowoWstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
Bardziej szczegółowoćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegółowoPrzykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Bardziej szczegółowoDalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Bardziej szczegółowoLiczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław
Bardziej szczegółowoNp. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Bardziej szczegółowoJÓZEF W. BREMER WPROWADZENIE DO LOGIKI
JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1
Bardziej szczegółowoElementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Bardziej szczegółowoMyślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
Bardziej szczegółowoWybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Logika, II rok Etnolingwistyki UAM, 20 VI 2008. Imię i Nazwisko:.............................. GRUPA: I Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Bardziej szczegółowoZiemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Bardziej szczegółowoĆWICZENIE 2. DEF. Mówimy, że formuła A wynika logicznie z formuł wartościowanie w, takie że w A. A,, A w KRZ, jeżeli nie istnieje
ĆWICZENIE 2 Klasyczny Rachunek Zdań (KRZ): wynikanie logiczne, wnioskowanie, niezawodny schemat wnioskowania, wnioskowanie dedukcyjne, równoważność logiczna, iniowalność spójników za mocą formuły. DEF.
Bardziej szczegółowoSylabus dla przedmiotu Logika i ogólna metodologia nauk
Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika
Bardziej szczegółowoTautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Bardziej szczegółowoRachunek zdań 1 zastaw zadań
Rachunek zdań 1 zastaw zadań Zadanie 1 ([1]) Wyraź w języku KRZ następujące zdania języka naturalnego: (a) Jeśli Jan jest ateistą to Jan nie jest katolikiem. (b) Jeśli Jan jest ateistą to nieprawda, że
Bardziej szczegółowoNa egzamin! LOGIKA. w pigułce. szybko zwięźle i na temat. Wydawnictwo C.H.Beck
Na egzamin! LOGIKA w pigułce szybko zwięźle i na temat Wydawnictwo C.H.Beck LOGIKA w pigułce Inne w tej serii: Prawo pracy i ubezpieczeń społecznych w pigułce Postępowanie cywilne w pigułce Prawo karne
Bardziej szczegółowoLiczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Administracja Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): I stopnia Tryb studiów:
Bardziej szczegółowo1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
Bardziej szczegółowoLogos (gr. Słowo, myśl) Nauka o poprawności rozumowań
Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań Semiotyka Semantyka Syntaktyka Logika formalna Ogólna metodologia nauk Wprowadził logikę do kanonu nauk Logika klasyczna opierająca się na dwóch wartościach:
Bardziej szczegółowoK A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
Bardziej szczegółowoMatematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
Bardziej szczegółowoK A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
Bardziej szczegółowoLekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Bardziej szczegółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Bardziej szczegółowoLogika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:
Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na
Bardziej szczegółowoLOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Bardziej szczegółowoLogos (gr. Słowo, myśl) Nauka o poprawności rozumowań
Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań Semiotyka Semantyka Syntaktyka Logika formalna Ogólna metodologia nauk Wprowadził logikę do kanonu nauk Logika klasyczna opierająca się na dwóch wartościach:
Bardziej szczegółowoLogika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Bardziej szczegółowoWstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Bardziej szczegółowoLogika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Bardziej szczegółowoElementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Bardziej szczegółowoW pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się
1 Logika Zdanie w sensie logicznym, to zdanie oznajmujące, o którym da się jednoznacznie powiedzieć, czy jest fałszywe, czy prawdziwe. Zmienna zdaniowa- to symbol, którym zastępujemy dowolne zdanie. Zdania
Bardziej szczegółowoJest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.
Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"
Bardziej szczegółowo0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Bardziej szczegółowoDrzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Bardziej szczegółowoLogika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę
Bardziej szczegółowoLogika matematyczna i teoria mnogości (I) J. de Lucas
Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.
Bardziej szczegółowoRoger Bacon Def. Def. Def. Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoWykład ze Wstępu do Logiki i Teorii Mnogości
Wykład ze Wstępu do Logiki i Teorii Mnogości rok ak. 2016/2017, semestr zimowy Wykład 1 1 Wstęp do Logiki 1.1 Rachunek zdań, podstawowe funktory logiczne 1.1.1 Formuła atomowa; zdanie logiczne definicje
Bardziej szczegółowoLogika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
Bardziej szczegółowoLogika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 18 listopada 2012 Michał Lipnicki Logika 18 listopada 2012 1 / 1 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw
WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro,
Bardziej szczegółowoWykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0
Wykład I Literatura Podręczniki 1. G. M. Fitherholz Rachunek różniczkowy i całkowy 2. W. Żakowski Matematyka tom I Zbiory zadań 1. W. Krysicki, L. Włodarski Analiza matematyczna w zadaniach tom I i II
Bardziej szczegółowoRoger Bacon Def. Def. Def Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoRachunek zdań I i II rzędu
Rozumowanie w systemach ekspertowych Instytut Informatyki, Uniwersytet Śląski, ul. Będzinska 39, Sosnowiec, Polska Tel (32) 2 918 381, Fax (32) 2 918 283 Wykład IV Teoretyczne podstawy rachunku predykatów
Bardziej szczegółowoINDEKS RZECZOWY. analogia, 209, 242, 247, 250, 251, 262 argument a contrario, 224, 225 argument a fortiori, 241 argument a pari, 224, 225
INDEKS RZECZOWY A Absolutyzm, 9,11, 34, 43, 80, 83, 84, 105, 106, 107, 113, 120, 159, 165, 167, 169, 171, 177, 178, 189, 194, 195, 259, 260, 261, 264, 271 274, 277 absolutyzm aksjologiczny, 83, 84, 106,
Bardziej szczegółowoRok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Bardziej szczegółowoWykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41
Wykład 2 Informatyka Stosowana 8 października 2018, M. A-B Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41 Elementy logiki matematycznej Informatyka Stosowana Wykład 2 8 października
Bardziej szczegółowoPrzykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Bardziej szczegółowoErystyka- sztuka prowadzenia sporów; umiejętność takiego argumentowania, by dowieść słuszności głoszonego poglądu, bez względu na rodzaj argumentów.
Erystyka Erystyka- sztuka prowadzenia sporów; umiejętność takiego argumentowania, by dowieść słuszności głoszonego poglądu, bez względu na rodzaj argumentów. Sofizmat (chwyt erystyczny) to wypowiedź zastępująca
Bardziej szczegółowoElementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.
Elementy logiki. Klasyczny rachunek zdań. 1 Elementy logiki Klasyczny rachunek zdań Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza Elementy
Bardziej szczegółowoOPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo
OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu zajęć/przedmiotu logika prawnicza 2. Kod modułu zajęć/przedmiotu 10-LP-pj-s,
Bardziej szczegółowoReguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Bardziej szczegółowoLOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
Bardziej szczegółowoWprowadzenie do logiki Zdania, cz. II Elementy sylogistyki
Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Co dzisiejsza historia mieć będzie wspólnego z Arystotelesem? 2 Plan gry:
Bardziej szczegółowoLista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
Bardziej szczegółowoPodstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Bardziej szczegółowoĆwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Bardziej szczegółowo1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:
1 Rachunek zdań Formuły zdaniowe (lub krócej: zdania) w klasycznym rachunku zdań składają się ze zmiennych zdaniowych nazywanych też zdaniami składowymi (oznaczane są zazwyczaj p, q, r,...) oraz operatorów
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26
Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:
Bardziej szczegółowoTESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI
TESTY LOGIKA redakcja naukowa ZBIGNIEW PINKALSKI Warszawa 2012 Spis treści Wykaz skrótów i symboli... 7 Wprowadzenie... 9 Rozdział I Nazwy... 11 Rozdział II Kategorie syntaktyczne... 17 Rozdział III Pytania...
Bardziej szczegółowoOPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika praktyczna na kierunku Zarządzanie i prawo w biznesie
OPIS MODUŁU ZAJĘĆ/PRZEDMIOTU (SYLABUS) dla przedmiotu Logika praktyczna na kierunku Zarządzanie i prawo w biznesie I. Informacje ogólne 1. Nazwa modułu zajęć/przedmiotu: Logika praktyczna 2. Kod modułu
Bardziej szczegółowoElementy logiki. Zdania proste i złożone
Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie
Bardziej szczegółowoZagadnienia podstawowe dotyczące metod formalnych w informatyce
Zagadnienia podstawowe dotyczące metod formalnych w informatyce! Logika Analiza języka i czynności badawczych (np. rozumowanie, definiowanie, klasyfikowanie) w celu poznania takich reguł posługiwania się
Bardziej szczegółowoElementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.
Elementy logiki. Klasyczny rachunek zdań. Elementy logiki Klasyczny rachunek zdań Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza 1 Spójniki
Bardziej szczegółowoMaciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki
Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej Elementy logiki 1. Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa.
Bardziej szczegółowoKryteria oceniania z matematyki zakres podstawowy Klasa I
Kryteria oceniania z matematyki zakres podstawowy Klasa I zakres Dopuszczający Dostateczny Dobry bardzo dobry Zdanie logiczne ( proste i złożone i forma zdaniowa oraz prawa logiczne dotyczące alternatywy,
Bardziej szczegółowoRachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Bardziej szczegółowo1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów
1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów Logika matematyczna, dział matematyki zajmujący się badaniem własności wnioskowania (dowodzenia)
Bardziej szczegółowoMATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Bardziej szczegółowo7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE
7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE W rozdziale tym poznamy cztery własności zdań (prawdę logiczną, fałsz logiczny, prawdę przygodną, fałsz przygodny) oraz trzy własności
Bardziej szczegółowoElementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Bardziej szczegółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 29 września 2015 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika na kierunku Zarządzanie
Katedra Teorii i Filozofii Prawa Poznań, dnia 29 września 2015 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika na kierunku Zarządzanie I. Informacje ogólne 1. Nazwa modułu kształcenia: Logika
Bardziej szczegółowoĆwiczenia Becka. Tadeusz Widła Dorota Zienkiewicz. zadania testy pytania egzaminacyjne. Wydawnictwo C.H.Beck. 2. wydanie. Logika
Ćwiczenia Becka Tadeusz Widła Dorota Zienkiewicz Logika zadania testy pytania egzaminacyjne 2. wydanie Wydawnictwo C.H.Beck Ćwiczenia Becka Logika W sprzedaży: E. Nieznański LOGIKA Podręczniki Prawnicze
Bardziej szczegółowoLogos (gr. Słowo, myśl) Nauka o poprawności rozumowań
Logos (gr. Słowo, myśl) Nauka o poprawności rozumowań Semiotyka Semantyka Syntaktyka Logika formalna Ogólna metodologia nauk Wprowadził logikę do kanonu nauk Logika klasyczna opierająca się na dwóch wartościach:
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 2 października Informatyka Stosowana Wykład 1 2 października / 33
Wykład 1 Informatyka Stosowana 2 października 2017 Informatyka Stosowana Wykład 1 2 października 2017 1 / 33 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Bardziej szczegółowoUniwersytet Śląski w Katowicach str. 1 Wydział
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)
Bardziej szczegółowoKultura logiczna Klasyczny rachunek zdań 2/2
Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór
Bardziej szczegółowoPlan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego
Plan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego Temat (rozumiany jako lekcja) Lekcja organizacyjna I. Działania na liczbach
Bardziej szczegółowoLogika intuicjonistyczna semantyka Kripke go
Logika intuicjonistyczna semantyka Kripke go Definicja 1 Strukturą częściowo uporządkowaną (ang. partially ordered set, w skrócie poset) nazywamy układ (W, ), gdzie W to dowolny zbiór niepusty, zaś jest
Bardziej szczegółowoLOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
Bardziej szczegółowoLOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Bardziej szczegółowoRACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Bardziej szczegółowoWYKŁAD 7: DEDUKCJA NATURALNA
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 7: DEDUKCJA NATURALNA III rok kognitywistyki UAM, 2016 2017 Systemy dedukcji naturalnej pochodzą od Gerharda Gentzena (1909 1945) oraz Stanisława
Bardziej szczegółowoRok akademicki: 2014/2015 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: -
Nazwa modułu: Logika, Metodyka pracy umysłowej Rok akademicki: 2014/2015 Kod: HKL-1-104-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: - Poziom studiów: Studia I stopnia
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 9. klasyczny rachunek nazw relacje
WYKŁAD 9 klasyczny rachunek nazw relacje 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel. 635-61-34 dyŝur:
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 1 października Informatyka Stosowana Wykład 1 1 października / 26
Wykład 1 Informatyka Stosowana 1 października 2018 Informatyka Stosowana Wykład 1 1 października 2018 1 / 26 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Bardziej szczegółowoSTANDARDOWE FUNKCJE PRZYNALEŻNOŚCI. METODY HEURYSTYCZNE wykład 6. (alternatywa dla s) (zdef. poprzez klasę s) GAUSSOWSKA F.
METODY HEURYSTYCZNE wykład 6 STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI 2 GAUSSOWSKA F. PRZYNALEŻNOŚCI F. PRZYNALEŻNOŚCI KLASY s środek; a określa szerokość krzywej 3 4 F. PRZYNALEŻNOŚCI KLASY π F. PRZYNALEŻNOŚCI
Bardziej szczegółowo15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA
15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA W systemie SD dla każdego spójnika istnieje reguła wprowadzania i reguła eliminacji tegoż spójnika. Niemniej jednak dowodzenie za pomocą
Bardziej szczegółowoLOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Bardziej szczegółowoLogika Matematyczna (2,3)
Logika Matematyczna (2,3) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 11, 18 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (2,3) 11, 18 X 2007 1 / 34 Język KRZ
Bardziej szczegółowoPrzewodnik do ćwiczeń z logiki dla prawników
Przewodnik do ćwiczeń z logiki dla prawników redakcja naukowa Andrzej Malinowski Andrzej Malinowski, Michał Pełka, Radosław Brzeski Zamów książkę w księgarni internetowej SERIA AKADEMICKA 6. WYDANIE WARSZAWA
Bardziej szczegółowoElementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje
Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.put.poznan.pl/ maciej.grzesiak Konsultacje: poniedziałek, 8.45-9.30, środa 8.45-9.30, piątek 9.45-10.30, pokój 724E Treść
Bardziej szczegółowo