Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Rachunek nazw1. 2 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem ----------------------------------------------------------------------

Podobne prezentacje


Prezentacja na temat: "Rachunek nazw1. 2 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem ----------------------------------------------------------------------"— Zapis prezentacji:

1 Rachunek nazw1

2 2 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem

3 Rachunek nazw3 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem.

4 Rachunek nazw4 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem. Na mocy pierwszej przesłanki Funio, jako student, jest człowiekiem.

5 Rachunek nazw5 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem. Na mocy pierwszej przesłanki Funio, jako student, jest człowiekiem. Na mocy drugiej przesłanki Funio, jako człowiek, jest ssakiem.

6 Rachunek nazw6 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem. Na mocy pierwszej przesłanki Funio, jako student, jest człowiekiem. Na mocy drugiej przesłanki Funio, jako człowiek, jest ssakiem. Sprzeczność: Funio jest i nie jest ssakiem.

7 Rachunek nazw7 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem. Na mocy pierwszej przesłanki Funio, jako student, jest człowiekiem. Na mocy drugiej przesłanki Funio, jako człowiek, jest ssakiem. Sprzeczność: Funio jest i nie jest ssakiem. Nie jest możliwe, by przesłanki były prawdziwe, a wniosek fałszywy.

8 Rachunek nazw8 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Założenie nie wprost: jest student, nazwijmy go Funio, który nie jest ssakiem. Na mocy pierwszej przesłanki Funio, jako student, jest człowiekiem. Na mocy drugiej przesłanki Funio, jako człowiek, jest ssakiem. Sprzeczność: Funio jest i nie jest ssakiem. Nie jest możliwe, by przesłanki były prawdziwe, a wniosek fałszywy. Wniosek wynika logicznie z przesłanek.

9 Rachunek nazw9 Schemat wnioskowania Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Każdy student jest artystą, Każdy artysta jest poetą Każdy student jest poetą

10 Rachunek nazw10 Schemat wnioskowania Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Każdy student jest artystą, Każdy artysta jest poetą Każdy student jest poetą Każdy student jest małpą, Każda małpa jest papugą Każdy student jest papugą

11 Rachunek nazw11 Schemat wnioskowania Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Każdy student jest artystą, Każdy artysta jest poetą Każdy student jest poetą Każdy student jest małpą, Każda małpa jest papugą Każdy student jest papugą Każdy babak jest cacakiem, Każdy cacak jest dadakiem Każdy babak jest dadakiem

12 Rachunek nazw12 Schemat wnioskowania Każdy student jest człowiekiem Każdy człowiek jest ssakiem Każdy student jest ssakiem Każdy student jest artystą, Każdy artysta jest poetą Każdy student jest poetą Każdy student jest małpą, Każda małpa jest papugą Każdy student jest papugą Każdy babak jest cacakiem, Każdy cacak jest dadakiem Każdy babak jest dadakiem Każde S jest M, Każde M jest P Każde S jest P

13 Rachunek nazw13 Nie zawsze wynika… Każdy student jest człowiekiem, Każdy student jest ssakiem (?) Każdy człowiek jest ssakiem

14 Rachunek nazw14 Nie zawsze wynika… Każdy student jest człowiekiem, Każdy student jest ssakiem (?) Każdy człowiek jest ssakiem (?) Każde S jest M, Każde S jest P Każde M jest P

15 Rachunek nazw15 Nie zawsze wynika… Każdy student jest człowiekiem, Każdy student jest ssakiem (?) Każdy człowiek jest ssakiem (?) Każde S jest M, Każde S jest P Każde M jest P Kontrprzykład: Niech Funio będzie człowiekiem, ale nie ssakiem. Nawet jeśli przesłanki są prawdziwe, to wniosek, chociaż faktycznie prawdziwy, mógłby być fałszywy.

16 Rachunek nazw16 Schematy zdań kategorycznych S a PKażde S jest S i PNiektóre S są P S e PŻadne S nie jest P S o PNiektóre S nie są P ogólnotwierdzące szczegółowotwierdzące ogólnoprzeczące szczegółowoprzeczące AffIrmo, nEgO

17 Rachunek nazw17 Schematy zdań kategorycznych S a PKażde S jest S i PNiektóre S są P S e PŻadne S nie jest P S o PNiektóre S nie są P Przykłady: Każdy człowiek jest studentem Niektórzy ludzie są studentami Żaden człowiek nie jest studentem Niektórzy ludzie nie są studentami ogólnotwierdzące szczegółowotwierdzące ogólnoprzeczące szczegółowoprzeczące AffIrmo, nEgO Kwantyfikator – podmiot – (ewentualnie negacja) – łącznik - orzecznik

18 Rachunek nazw18 Metoda diagramów Venna Wszystkie przedmioty piękne są zarazem piekielnie drogie. Ale to, co piękne, bywa nieraz sporządzone z niedrogich materiałów. Tak więc wychodzi na to, że niektóre rzeczy piekielnie drogie sporządzone są materiałów, które wcale drogimi nie są.

19 Rachunek nazw19 Metoda diagramów Venna Wszystkie przedmioty piękne są zarazem piekielnie drogie. Ale to, co piękne, bywa nieraz sporządzone z niedrogich materiałów. Tak więc wychodzi na to, że niektóre rzeczy piekielnie drogie sporządzone są materiałów, które wcale drogimi nie są. Oznaczenia nazw: M | rzecz piękna S | rzecz piekielnie droga P | rzecz z niedrogich materiałów M a S, M i P |= S i P

20 Rachunek nazw20 Metoda diagramów Venna M a S, M i P |= S i P

21 Rachunek nazw21 Metoda diagramów Venna M a S, M i P |= S i P M PS _ _

22 Rachunek nazw22 Metoda diagramów Venna M a S, M i P |= S i P M PS _ _ +?

23 Rachunek nazw23 Metoda diagramów Venna M a S, M i P |= S i P M PS _ _ +!

24 Rachunek nazw24 To samo za pomocą kół Eulera M a S, M i P |= S i P S M S

25 Rachunek nazw25 To samo za pomocą kół Eulera M a S, M i P |= S i P S M S P

26 Rachunek nazw26 To samo za pomocą kół Eulera M a S, M i P |= S i P S M S P

27 Rachunek nazw27 To samo za pomocą kół Eulera M a S, M i P |= S i P S M S P

28 Rachunek nazw28 To samo za pomocą kół Eulera M a S, M i P |= S i P S M S P


Pobierz ppt "Rachunek nazw1. 2 Wynikanie logiczne Każdy student jest człowiekiem Każdy człowiek jest ssakiem ----------------------------------------------------------------------"

Podobne prezentacje


Reklamy Google