Wstęp do logiki. Argumentacja
|
|
- Elżbieta Mikołajczyk
- 7 lat temu
- Przeglądów:
Transkrypt
1 Wstęp do logiki Argumentacja 1
2 Argumentacja: definicja Mówiąc o argumentacji, mamy zwykle na myśli pewien rodzaj komunikacji dyskursywnej, w trakcie której jedna osoba stara się w zaplanowany sposób wpłynąć na przekonania drugiej osoby lub grupy osób, przedstawiając odpowiednio dobraną wypowiedź. W argumentacji mamy więc pewien proces komunikacyjny, któremu towarzyszy moment przekonywania. W procesie tym nadawca wypowiedzi jest stroną przekonującą (tzw. proponent), odbiorca owej wypowiedzi jest stroną przekonywaną (tzw. audytorium), zaś sama wypowiedź to argument. Argument ów jest zwykle pewnym ciągiem zdań, w którym wyróżnić można: tezę argumentacji lub konkluzję (T), komunikującą jakiś proponowany do akceptacji pogląd, oraz racje lub przesłanki (P), które zdaniem nadawcy uzasadniają tezę argumentacji. Konstrukcję jego można wyrazić najprościej za pomocą schematu: T, gdyż P albo P, a zatem T. 2
3 Argumentacja: definicja Plan nadawcy takiego argumentu-komunikatu zasadza się na tym, że odbiorca po zapoznaniu się z przedłożonym mu argumentem uzna jego tezę bądź przynajmniej przypisze jej większą wiarygodność. Odbiorca zapoznając się z argumentem dokonuje jego oceny poprzez rozważenie racji uzasadniających przedłożoną mu tezę (np. ze względu na ich wiarygodność, jasność, itd.) oraz związku łączącego racje z tezą. Generalnie, argumentowanie zawsze wiąże się z uzasadnianiem: argument powstaje tylko wówczas, gdy jakiś pogląd z założenia kontrowersyjny jest uzasadniany jakimiś twierdzeniami z założenia niewątpliwymi. Ogólnie: Zdania α 1,, α n uzasadniają zdanie β wtw czynią one zdanie β bardziej wiarygodnym (lub prawdopodobnym) niż było wcześniej; alternatywnie: zdania α 1,, α n uzasadniają zdanie β wtw uznanie zdań α 1,, α n jest warunkiem wystarczającym uznania zdania β. uzasadnienie Argument: przesłanki konkluzja-teza 3
4 Argumentacja praktycznie poprawna DEF. Wypowiedzią argumentacyjną nazywamy wypowiedź, w której za pomocą jednych zdań (tzw. przesłanek) proponent uzasadnia jakieś inne, z założenia kontrowersyjne, zdanie (tzw. tezę lub konkluzję). Wyodrębniony z wypowiedzi argumentacyjnej układ zdań złożony z przesłanek i konkluzji nazywamy argumentem. Przykłady. 1. Kartezjusz: Jeśli myślę, to jestem. Myślę chociaż być może tego nie widać. A zatem, jestem (tu i teraz). 2. Platon (Fedon): Tak samo trzeba powiedzieć i o tym, co nieśmiertelne. Jeśli to, co nieśmiertelne, jest i niezniszczalne, to niepodobna, żeby dusza, kiedy śmierć do niej przyjdzie, ginąć miała. Bo wedle tego, cośmy powiedzieli przedtem, ona śmierci nie ulegnie i nie będzie umarła; tak samo jak mówiliśmy, że trójka nie będzie czymś parzystym, podobnie jak i nieparzystość sama, a ogień nie będzie chłodny, ani gorącość, która jest w nim. 4
5 Argumentacja praktycznie poprawna Argumentacje są oceniane z różnych punktów widzenia, m.in. poprawności, godziwości, skuteczności. Mówiąc intuicyjnie i niezbyt ściśle, argumentacja jest praktycznie poprawna, gdy użyte w niej przesłanki są akceptowalne oraz w dostatecznym stopniu uzasadniają tezę. 5
6 Argumenty proste i złożone ARGUMENTY proste złożone. Argument jest złożony, jeżeli zawiera inne, pomocnicze argumenty mające służyć uzasadnieniu pewnych mniej oczywistych przesłanek (tzw. podargumenty); schematycznie: P 1 P 2 P 5 P 3 P 4 P 6 T Teza (konkluzja) główna T jest bezpośrednio wspierana tylko przez P 3, P 4 i P 6, z których P 3 i P 4 są tezami (konkluzjami) pewnych podargumentów (argumentów pomocniczych): P 1 P 2 P 5 P 3 P 4 Argument jest prosty (lub bezpośredni) jeżeli nie zawiera żadnych podargumentów. 6
7 Argumenty proste i złożone Przykład. W kosmologicznym argumencie na rzecz istnienia Boga najpierw argumentuje się na rzecz istnienia jakiegoś bytu koniecznego (tj. bytu niezależnego, który nie może nie istnieć), następnie argumentuje się na rzecz tezy, że owym bytem koniecznym jest Bóg. Argumentacji pierwszej można nadać następującą postać: P 1. Każdy byt jest zależny bądź niezależny (mocna wersja Zasady Racji Dostatecznej). A zatem: P 2. Albo istnieje jakiś byt niezależny, albo wszystkie byty są zależne. P 3. Wszakże, nie wszystkie byty są zależne. A zatem: P 4. Istnieje byt niezależny. A zatem: T. Istnieje byt konieczny. Argument ten zawiera dwa podargumenty: P 1 P 2 P 3 P 4 T 7
8 Struktura argumentów prostych Argument o kilku przesłankach może być: równoległy, gdy każda z przesłanek z osobna w jakimś stopniu sama uzasadnia tezę; schematycznie: P 1 P 2 P 3 T szeregowy, gdy wszystkie przesłanki razem wzięte uzasadniają w jakimś stopniu tezę, lecz żadna z nich wzięta osobno nie uzasadnia tezy; schematycznie: P 1 & P 2 T mieszany, gdy niektóre z jego przesłanek, razem wzięte, uzasadniają tezę szeregowo, pozostałe zaś, każda z osobna, uzasadniają ją równolegle; schematycznie: P 1 & P 2 P 3 T 8
9 Standaryzacja argumentu Argumentując, często nie wypowiadamy wszystkich przesłanek (niekiedy nie wypowiadamy nawet tezy!), pozostawiając je domyślności słuchacza. Zakładamy, że słuchacz ma podobną do naszej wiedzę o świecie. Rekonstrukcja struktury argumentu powinna zawierać zarówno przesłanki jawnie wyrażone, jak też te celowo pominięte przez proponenta. DEF. Argumentację, w której występuje przesłanka entymematyczna, tj. przesłanka nie wymieniona w argumencie z powodu uznania jej za oczywistą, nazywamy entymematem. Dygresja. Nazwa pochodzi z greki: έν (en) znaczy: w, zaś υνµοξ (thymos) znaczy: duch, myśl. Często znalezienie ukrytych przesłanek jest najtrudniejszym zadaniem w rekonstrukcji argumentu. Standaryzacja argumentu polega na wyodrębnieniu z wypowiedzi argumentacyjnej tezy i przesłanek zarówno tych wypowiedzianych jawnie, jak i ukrytych oraz na zwięzłym, jasnym a także emocjonalnie neutralnym przedstawieniu ich w postaci zdań. 9
10 Argumenty dedukcyjne Część argumentów to tzw. dedukcje. Relacja uzasadniania redukuje się wówczas do relacji wynikania logicznego: z danych przesłanek wynika logicznie teza argumentacji. W sposób nieścisły relację wynikania logicznego można określić następująco: Ze zdań α 1,..., α n wynika logicznie zdanie β wtw nie jest możliwe, by wszystkie zdania α 1,..., α n były prawdziwe, a zdanie β było fałszywe. Zdania α 1,..., α n nazywamy racjami (logicznymi), a zdanie β następstwem (logicznym). Zauważmy, że: prawdziwość racji przesądza prawdziwość następstwa oraz fałszywość następstwa przesądza fałszywość racji. Ujmuje to następujący diagram: Racja Następstwo
11 Argumenty dedukcyjne Możemy więc uzasadnić jakieś zdanie bądź wprost poprzez wyprowadzenie go z jakichś zdań wcześniej uznanych za prawdziwe: P T; bądź nie wprost poprzez obalenie jego zaprzeczenia, tj. poprzez wykazanie, że z jego zaprzeczenia wynika logicznie jakiś fałsz (np. sprzeczność); metoda ta nosi nazwę reductio ad absurdum lub reductio ad falsum: (non-t 0) T. Przykłady. 1. Epikur (w: Diogenes Leartios Żywoty i poglądy słynnych filozofów ): Śmierć jest niczym dla nas, bo to, co się rozpadło, nie ma czucia, a to, co nie ma czucia, jest dla nas niczym. 11
12 Argumenty dedukcyjne 2. W Menonie Platona znajdujemy taką oto argumentację na rzecz tezy, że cnoty nie można się nauczyć: Gdyby cnoty można się było nauczyć, to Temistoles, Arystydes i Perykles ludzie dobrzy nauczyliby jej swoich synów. Tymczasem wiadomo, że ich synowie nie są ludźmi dobrymi. 3. Przez reductio ad absurdum można uzasadnić twierdzenie, że niektóre poglądy są prawdziwe, obalając twierdzenie, że (S) Żaden pogląd nie jest prawdziwy. Załóżmy, że pogląd (S) jest prawdziwy. Wtedy zgodnie z tym, co głosi ów pogląd żaden pogląd nie jest prawdziwy. W szczególności więc nie jest prawdziwy pogląd (S), wbrew temu, co założyliśmy. 12
13 Argumenty dedukcyjne Argumenty dedukcyjne przyjmują często postać dowodu. Pojęcie dowodu zostało ściśle określone na terenie metamatematyki. W metamatematycznym czy też formalnym pojęciu dowodu abstrahuje się od jego elementów retoryczno-perswazyjnych. W sposób swobodny pojęcie dowodu można określić następująco: Dowodem zdania β na gruncie założeń X nazywamy taki skończony ciąg zdań α 1,, α n, że spełnione są następujące warunki: ostatni element tego ciągu jest identyczny z dowodzona tezą β, tj. α n = β, każdy element α k (1 k n) tego ciągu jest prawem logiki bądź jest elementem zbioru X, bądź został wydedukowany z wcześniejszych jego elementów przy pomocy przyjętych reguł inferencyjnych (reguł wynikania logicznego). 13
14 Argumenty dedukcyjne Własności argumentów dedukcyjnych: Informacja niesiona przez konkluzję (tezę argumentacji) zawiera się w łącznej informacji ujętej w przesłankach. Zapewniają one najwyższy możliwy stopień uzasadniania: prawdziwość przesłanek przesądza o prawdziwości konkluzji. Istnieje możliwość kontrolowania ich poprawności za pomocą metod logiki formalnej. 14
15 Argumenty nidedukcyjne Olbrzymia większość argumentów to argumenty niededukcyjne: konkluzja (teza argumentacji) nie wynika logicznie z przesłanek. Prawdziwość przesłanek nie gwarantuje prawdziwości uzasadnianej tezy, czyli nie jest wykluczona jej fałszywość mimo prawdziwych przesłanek. Przykład. Mąż Ziuty urodził się w Szwecji, zatem zapewne zna język szwedzki. Ograniczę się tutaj do wymienienia argumentów, w których przesłanki uprawdopodabniają tezę. Najbardziej znanymi tego typu argumentami są: indukcja enumeracyjna, argument z podobieństwa (analogii), indukcja eliminacyjna (kanony Milla). 15
16 Argumenty nidedukcyjne W indukcji enumeracyjnej od pewnego skończonego zbioru przesłanek: a 1 jest P,. a n jest P dochodzi się do konkluzji ogólnej: Dla każdego x, x jest P. Przesłanki są zatem zdaniami o konkretnych przedmiotach, reprezentantach jakiegoś zbioru przedmiotów X, i posiadaniu przez nie pewnej własności; natomiast konkluzja przypisuje ową cechę wszystkim elementom zbioru X. Jeśli zakres warunku x jest P przekracza zakres wszystkich przesłanek razem wziętych, to prawdziwość przesłanek nie gwarantuje prawdziwości wniosku. 16
17 Argumenty nidedukcyjne Argument z podobieństwa odwołuje się do rozumowania wyrażonego przez formułę: Ze względu na podobieństwo między przedmiotami a i b, dane twierdzenie słuszne w odniesieniu do a jest też słuszne w odniesieniu do b. Schematycznie: a oraz b są podobne do siebie pod względami W 1, W n. a jest W n + 1. Zatem: b jest W n + 1. Przykład. Język polski i czeski są do siebie podobne pod względem leksyki, morfologii i składni. Skoro język polski wywodzi się z prasłowiańskiego, więc i czeski również. 17
18 Indukcja eliminacyjna: kanon różnicy Kanony indukcji eliminacyjnej Milla mają na celu wykrycie zależności przyczynowych między zjawiskami różnych rodzajów. Na przykład, kanon różnicy jest wnioskowaniem według następującego wzoru: Jeżeli zjawisko Z stale zachodziło w towarzystwie zjawisk X 1,, X n, a w pewnym wypadku nie wystąpiło, gdy zabrakło jedynie zjawiska X i (dla 1 i n), to prawdopodobnie zjawisko X i ma istotny związek ze zjawiskiem Z. 1. Zjawisko Z zachodzi, gdy występują zjawiska X 1, X 2, X 3, X 4 i X Zjawisko Z nie zachodzi, gdy występują zjawiska X 1, X 3, X 4 i X 5, lecz brak zjawiska X 2. Wniosek: Zjawisko X 2 jest (prawdopodobną) przyczyną zjawiska Z. Przykład: W kawiarni były dwie osoby, których jedna ma dolegliwość żołądkową. Okazuje się, że ta która ma ową dolegliwość piła kawę i wino oraz jadła lody. Natomiast osoba bez owych dolegliwości piła kawę i wino, lecz nie jadła lodów. Na podstawie tych spostrzeżeń wnosimy, ze konsumpcja lodów jest przyczyną dolegliwości żołądkowych. 18
19 Sofizmaty, paralogizmy Paralogizm jest to argument niepoprawny, w którym błąd popełniono nieświadomie albo bez zamiaru wprowadzenia kogoś w błąd (np. dla żartu). Za paralogizmem można uznać następujący żart: Wszystko, co mówisz przechodzi przez twoje usta. Mówisz: Wóz. A zatem, wóz przechodzi przez twoje usta. Arystoteles paralogizmy odróżnia od sofizmatów. Sofizmat jest to argument na pozór prawidłowy, skonstruowany w celu wprowadzenia kogoś w błąd. 19
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
Wstę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ę
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne
wypowiedzi inferencyjnych
Wnioskowania Pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania
Wstęp do logiki. Klasyczny Rachunek Zdań IV
Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.
Wykład 4 Logika dla prawników. Dyskusja oraz rodzaje argumentów
Wykład 4 Logika dla prawników Dyskusja oraz rodzaje argumentów 1 * Wykład opracowany w oparciu o podręczniki: T. Hołówka, Kultura logiczna w przykładach, Warszawa 2006. K. Szymanek, K. A. Wieczorek, A.
Logika dla socjologów
Logika dla socjologów Część 6: Modele rozumowań. Pojęcie wynikania Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Modele rozumowań 2 Wynikanie 3 Rozumowania poprawne
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi
Standaryzacja i ocena wypowiedzi argumentacyjnych
Kultura logicznego myślenia 2016/2017 Temat 11: Standaryzacja i ocena wypowiedzi argumentacyjnych DEFINICJA: Wypowiedzią argumentacyjną jest wypowiedź, w której za pomocą jednych zdań ( przesłanek) uzasadnia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Rodzaje argumentów za istnieniem Boga
Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty
RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.
Błędy popełniane przy wnioskowaniach: 1) Błąd formalny popełniamy twierdząc, że dane wnioskowanie jest dedukcyjne w sytuacji, gdy schemat tego wnioskowania jest zawodny, tj. gdy wniosek nie wynika logicznie
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Sztuka argumentacji. Ćwiczeń ciąg dalszy
Sztuka argumentacji Ćwiczeń ciąg dalszy Skąd się biorą przekonania? Własne doświadczenie Autorytet Własne rozumowanie Argumentacja innej osoby Wypowiedź argumentacyjna Wypowiedź argumentacyjna jest to
LOGIKA 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
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Ogólna metodologia nauk
1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu
LOGIKA 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
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Matematyka dla liceum ogólnokształcącego i technikum w zakresie podstawowym i rozszerzonym Z E S Z Y T M E T O D Y C Z N Y Miejski
Ekonomiczny Uniwersytet Dziecięcy
Ekonomiczny Uniwersytet Dziecięcy Jak przekonywać innych do swoich racji? Dr Witold Szumowski Uniwersytet Ekonomiczny we Wrocławiu 3 listopada 2014r. Plan dzisiejszych zajęć Istota przekonywania Wywieranie
Kultura myślenia i argumentacji 2015/2016. Temat 3: Wypowiedzi argumentacyjne
Kultura myślenia i argumentacji 2015/2016 Temat 3: Wypowiedzi argumentacyjne DEFINICJA: Wypowiedzią argumentacyjną jest wypowiedź, w której za pomocą jednych zdań ( przesłanek) uzasadnia się jakieś inne,
Dydaktyka matematyki III-IV etap edukacyjny (wykłady)
Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Wykład nr 4 Wprowadzanie i definiowanie matematycznych pojęć (cd.) Matematyczne rozumowania na poziomach SP i licealnym Semestr zimowy 2018/2019 Jakie
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 2 Plan:
5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
Tautologia (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
Wstę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
Rozdzia l 10. Najważniejsze normalne logiki modalne
Rozdzia l 10. Najważniejsze normalne logiki modalne 1. Logiki modalne normalne Definicja. Inwariantny zbiór formu l X jȩzyka modalnego L = (L,,,,, ) nazywamy logik a modaln a zbazowan a na logice klasycznej
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
RACHUNEK 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
Logika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
Myś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.
Logika. 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
LOGIKA 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
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 4: Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Rekonstrukcja argumentu Jako że każdy człowiek
Wstęp do logiki. Klasyczny Rachunek Predykatów I
Wstęp do logiki Klasyczny Rachunek Predykatów I KRZ jest teorią stanowiącą wstępną część logiki formalnej, część zakładaną przez inne teorie. Przypomnijmy, jest on teorią związków logicznych między zdaniami
Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:
Podstawowe definicje Definicja ciągu Ciągiem nazywamy funkcję na zbiorze liczb naturalnych, tzn. przyporządkowanie każdej liczbie naturalnej jakiejś liczby rzeczywistej. (Mówimy wtedy o ciągu o wyrazach
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2013 2 Egzamin maturalny z filozofii Część I (20 punktów) Zadanie 1. (0
Elementy 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
EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015
EGZAMIN MATURALNY W ROKU SZKOLNYM 204/205 FORMUŁA DO 204 ( STARA MATURA ) FILOZOFIA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R MAJ 205 Uwaga: Akceptowane są wszystkie odpowiedzi merytorycznie
Logika nieformalna. Paweł Łoziński plozinsk. 17 marzec Instytut Informatyki WEiTI PW
Paweł Łoziński http://www.ii.pw.edu.pl/ plozinsk Instytut Informatyki WEiTI PW 17 marzec 2009 Agenda 1 Wstęp historyczny 2 3 Stwierdzenia Przesłanki Reguły wnioskowania Sens istnienia dialogu podstawowe
Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
Wstęp do logiki. Semiotyka
Wstęp do logiki Semiotyka DEF. 1. Językiem nazywamy system umownych znaków słownych. Komentarz. Skoro każdy język jest systemem, to jest w nim ustalony jakiś porządek, czy ogólniej hierarchia. Co to jest
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
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.
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
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Wstęp do logiki. Pytania i odpowiedzi
Wstęp do logiki Pytania i odpowiedzi 1 Pojęcie pytania i odpowiedzi DEF. 1. Pytanie to wyrażenie, które wskazuje na pewien brak w wiedzy subiektywnej lub obiektywnej i wskazuje na dążenie do uzupełnienia
FILOZOFIA POZIOM PODSTAWOWY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2013/2014 FILOZOFIA POZIOM PODSTAWOWY ROZWIĄZANIA ZADAŃ I SCHEMAT PUNKTOWANIA MAJ 2014 2 Egzamin maturalny z filozofii Część I (20 punktów) Zadanie 1. (0 3) Obszar standardów
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Indukcja Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak Charakteryzacja zbioru liczb naturalnych Arytmetyka liczb naturalnych Jedną z najważniejszych teorii matematycznych jest arytmetyka
Logika 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
WOS - KLASA I. umieć wyrażać (wypowiadać) własne zdanie w prosty sposób oraz je uzasadniać (chociaż dwoma argumentem)
WOS - KLASA I Ocena dopuszczający wskazać chociaż jeden przykład cech, które mogą świadczyć o tym, że osoba jest dobrym obywatelem wymienić chociaż jeden przykład osób, które są dobrymi obywatelami podać
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (łącznie z 1 i 8 grudnia 2006) Uzasadnianie zdań Relację wynikania wykorzystujemy w definiowaniu różnych pojęć metodologicznych, takich jak: uzasadnianie
Filozofia, ISE, Wykład X - Filozofia średniowieczna.
Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii
Poprawność semantyczna
Poprawność składniowa Poprawność semantyczna Poprawność algorytmu Wypisywanie zdań z języka poprawnych składniowo Poprawne wartościowanie zdań języka, np. w języku programowania skutki wystąpienia wyróżnionych
1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
O argumentach sceptyckich w filozofii
O argumentach sceptyckich w filozofii - Czy cokolwiek można wiedzieć na pewno? - Czy cokolwiek można stwierdzić na pewno? Co myśli i czyni prawdziwy SCEPTYK? poddaje w wątpliwość wszelkie metody zdobywania
ć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
Etyka i filozofia współczesna wykład 11. Logiczna kultura argumentacji:
Logiczna kultura argumentacji: Logiczna kultura argumentacji: wypowiedź argumentacyjna a wnioskowanie, przyczyny nieporozumień, definiowanie i błędy w definiowaniu. Wnioskowanie: proces poznawczy, który
Powtórka 3. Katarzyna Paluszkiewicz 15.01.2015. Katarzyna Paluszkiewicz Powtórka 3 15.01.2015 1 / 11
Powtórka 3 Katarzyna Paluszkiewicz 15.01.2015 Katarzyna Paluszkiewicz Powtórka 3 15.01.2015 1 / 11 p Przyjmijmy, że w sylogizmie o przesłankach postaci SaM i PoM oraz wniosku o postaci SoP obie przesłanki
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
EGZAMIN MATURALNY 2010 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,
Lekcja 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
Indukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
Drzewa 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
Logika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM
13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM Cele Umiejętność stosowania reguł pierwotnych Wpr, Elim, ~Wpr, ~Elim. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł. 13.1. Reguła Wpr
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 3: Implikowanie konwersacyjne Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Wynikanie pragmatyczne
EGZAMIN MATURALNY 2011 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 FILOZOFIA POZIOM ROZSZERZONY MAJ 2011 2 Egzamin maturalny z filozofii poziom rozszerzony Zadanie 1. (0 1) Obszar standardów B. Opis wymagań
Semiotyka logiczna (6)
Semiotyka logiczna (6) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Chwyty uczciwe Jerzy Pogonowski (MEG) Semiotyka logiczna (6) Chwyty uczciwe 1 / 26 Wprowadzenie
POSTANOWIENIE. odmawia przyjęcia kasacji do rozpoznania. UZASADNIENIE
Sygn. akt I PK 135/03 POSTANOWIENIE Sąd Najwyższy w składzie : Dnia 9 kwietnia 2003 r. SSN Andrzej Wróbel w sprawie z powództwa P. G. przeciwko L. Spółce z o.o. o sprostowanie świadectwa pracy i zapłatę,
Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia
Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman Rozprawka - podstawowe pojęcia 1. rozprawka - forma wypowiedzi pisemnej, w której piszący prezentuje własne stanowisko
Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d
C. Bagiński Materiały dydaktyczne 1 Matematyka Dyskretna /008 rozwiązania 1. W każdym z następujących przypadków podać jawny wzór na s n i udowodnić indukcyjnie jego poprawność: (a) s 0 3, s 1 6, oraz
Logika 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ść
Liczba 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
Ziemia 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ść
Podstawowe 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
WNIOSKOWANIE 1 DEDUKCJA
WNIOSKOWANIE 1 Jednym z najważniejszych celów logiki jest analiza poprawności wnioskowań. Fenomen wnioskowania nie przynależy tylko i wyłącznie do świata nauki. Wnioskujemy na co dzień, natomiast rzadziej
Logika 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ę
Paradoksy log o i g czne czn i inne 4 marca 2010
Paradoksy logiczne i inne 4 marca 2010 Paradoks Twierdzenie niezgodne z powszechnie przyjętym mniemaniem, rozumowanie, którego elementy są pozornie oczywiste, ale wskutek zawartego w nim błędu logicznego
Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie
3. Wykłady 5 i 6: Semantyka klasycznego rachunku zdań. Dotychczas rozwinęliśmy klasyczny rachunek na gruncie czysto syntaktycznym, a więc badaliśmy metodę sprawdzania, czy dana formuła B jest dowodliwa
Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 6: Argumentacja prawnicza Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Spory wokół logiki prawniczej Bóg obdarzył
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
Trzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Wybierz 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.
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
POSTANOWIENIE. SSN Jolanta Strusińska-Żukowska
Sygn. akt III UK 123/17 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 24 kwietnia 2018 r. SSN Jolanta Strusińska-Żukowska w sprawie z odwołania Z. S. od decyzji Zakładu Ubezpieczeń Społecznych Oddziału
Klasyfikacja rozumowań
Klasyfikacja rozumowań Elementy logiki i metodologii nauk spotkanie IX Bartosz Gostkowski Poznań, 15 XII 09 WNIOSKOWANIA NIEZAWODNE vs WNIOSKOWANIA UPRAWDOPODOBNIAJĄCE WNIOSKOWANIA NIEZAWODNE Formalnie
Rachunek 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)
POSTANOWIENIE. SSN Piotr Prusinowski
Sygn. akt II PK 124/18 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 7 maja 2019 r. SSN Piotr Prusinowski w sprawie z powództwa M. S. przeciwko P. K., Ł. K. o odszkodowanie, po rozpoznaniu na posiedzeniu