Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw
|
|
- Henryk Jabłoński
- 7 lat temu
- Przeglądów:
Transkrypt
1 WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1
2 Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel dyŝur: poniedziałki, godz [w razie potrzeby dyŝur będzie dłuŝszy] 2
3 Ludwik Borkowski, Elementy logiki formalnej, PWN, Warszawa 1977, s.154 (cienka ksiąŝka) 3
4 Kwantyfikatory o ograniczonym zakresie Q(x) P(x) x (Q(x) P(x)) Przykład KaŜdy słoń ma trąbę = KaŜdy x jeśli x jest słoniem, to x ma trąbę. Q(x) P(x) x (Q(x) P(x)) Przykład Pewien słoń nie ma trąby = Pewien x jest słoniem i x nie ma trąby. Uwaga: Ograniczenie kwantyfikatora działa jak określenie dziedziny. Wszystkie prawa rachunku kwantyfikatorów zachowują swą waŝność, gdy kwantyfikatory będą miały (konsekwentnie) ograniczony zakres. x y = x,y x y = x,y 4
5 diagramy Venna zdanie prawdziwe zdanie fałszywe x P(x) x P(x) x P(x) x P(x) 5
6 Zadanie Wykazać: - niezawodność schematu rozkładu kwantyfikatora szczegółowego na koniunkcję x (P(x) Q(x)) x P(x) x Q(x) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli istnieje [jakaś] koszula w paski z zielonymi guzikami, to istnieje [jakaś] koszula w paski i istnieje [jakaś] koszula z zielonymi guzikami. - zawodność schematu ( x P(x) x Q(x)) x (P(x) Q(x)) Kontrprzykład (przykład obalający, falsyfikujący) (ma moc dowodu): jeśli istnieje jakaś matka i istnieje jakiś ojciec, to nie znaczy Ŝe istnieje ktoś, kto jest jednocześnie ojcem i matką. 6
7 - niezawodność schematu wyciągania kwantyfikatora ogólnego przed alternatywę ( x P(x) x Q(x)) x (P(x) Q(x)) (załóŝmy fałszywość wniosku) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝda zebra ma paski lub kaŝda zebra ma cętki, to kaŝda zebra ma paski lub cętki. - zawodność schematu x (P(x) Q(x)) ( x P(x) x Q(x)) Kontrprzykład (przykład obalający, falsyfikujący) (ma moc dowodu): jeśli kaŝdy dorosły człowiek jest kobietą lub męŝczyzną, to nie znaczy, Ŝe kaŝdy dorosły człowiek jest kobietą lub kaŝdy dorosły człowiek jest męŝczyzną (jeśli wszyscy dorośli ludzie są kobietami lub męŝczyznami, to nie znaczy, Ŝe wszyscy dorośli ludzie to kobiety lub wszyscy dorośli ludzie to męŝczyźni). 7
8 - niezawodność schematu rozkładania kwantyfikatora ogólnego na koniunkcję x (P(x) Q(x)) ( x P(x) x Q(x)) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): powiedzieć, Ŝe kaŝda zebra ma paski i kopyta, to to samo, co powiedzieć, Ŝe kaŝda zebra ma paski i kaŝda zebra ma kopyta. - niezawodność schematu rozkładania kwantyfikatora szczegółowego na alternatywę x (P(x) Q(x)) ( x P(x) x Q(x)) (rozwaŝmy fałszywość jednej strony, potem fałszywość drugiej strony) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): powiedzieć, Ŝe istnieje słoń co ma trąbę lub skrzydła, to to samo, co powiedzieć, Ŝe istnieje słoń co ma trąbę lub istnieje słoń co ma skrzydła. 8
9 zdanie prawdziwe zdanie fałszywe x (P(x) Q(x)) Przypomnienie: tautologią klasycznego rachunku zdań jest (p q) (p q). 9
10 - niezawodność schematu rozkładania kwantyfikatora ogólnego na implikację x (P(x) Q(x)) ( x P(x) x Q(x)) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy który jest zaszczepiony przeciwko ospie jest odporny na wirusa ospy, to jeśli kaŝdy jest zaszczepiony przeciwko ospie, to kaŝdy jest odporny na wirusa ospy. - niezawodność schematu x (P(x) Q(x)) ( x P(x) x Q(x)) (załóŝmy prawdziwość obu przesłanek x (P(x) Q(x)) oraz x P(x) - sylogizm hipotetyczny bezkoniunkcyjny) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy który jest zaszczepiony przeciwko ospie jest odporny na wirusa ospy, to jeśli ktoś jest zaszczepiony przeciwko ospie, to ktoś jest odporny na wirusa ospy. 10
11 - niezawodność schematu ( x (P(x) Q(x)) x (Q(x) S(x))) x (P(x) S(x)) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy zaszczepiony przeciwko ospie jest odporny na wirusa ospy, i kaŝdy odporny na wirusa ospy moŝe bez ryzyka zachorowania kontaktować się z chorymi na ospę, to kaŝdy zaszczepiony przeciwko ospie moŝe bez ryzyka zachorowania kontaktować się z chorymi na ospę. - niezawodność schematu ( x (P(x) Q(x)) x (P(x) S(x))) x (Q(x) S(x)) Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy zaszczepiony przeciwko ospie jest odporny na wirusa ospy, i pewien kominiarz jest zaszczepiony przeciwko ospie, to pewien kominiarz jest odporny na wirusa ospy. 11
12 Zamiana kwantyfikatorów niezawodne schematy: x y P(x,y) y x P(x,y) x y P(x,y) y x P(x,y) x y P(x,y) y x P(x,y) Przykłady potwierdzające: KaŜdy kaŝdemu wilkiem = KaŜdemu kaŝdy wilkiem. Ktoś kogoś kocha = Ktoś jest kochany przez kogoś. (P(x,y) moŝemy tu czytać, albo jako x kocha y, albo y jest kochany przez x ) Jeśli ktoś jest ojcem kaŝdego człowieka, to kaŝdy człowiek ma ojca. zawodny schemat: x y P(x,y) y x P(x,y) Kontrprzykład: To Ŝe kaŝdy kogoś kocha, nie implikuje tego, Ŝe ktoś jest kochany przez kaŝdego. 12
13 Identyczność zwrotność identyczności x (x = x) symetryczność identyczności x,y (x = y y = x) przechodniość identyczności x,y,z ((x = y y = z) x = z) zamienialność w kaŝdym kontekście nazw tego samego obiektu (prawo toŝsamości Leibniza) x,y (P(x) x = y) P(y)) x,y (P(x) P(y)) x y) Uwaga: Mówienie o dwóch (a więc w domyśle dwóch róŝnych) identycznych obiektach, to jak mówienie o mniejszej lub większej połowie. Lepiej jest mówić (myśleć) o tym, Ŝe dwie róŝne nazwy a i b oznaczają ten sam obiekt: więc zamiast a i b są sobie równe (są identyczne) lepiej jest mówić a jest tym samym co b. Identyczność jest trywialna! (zachodzi między obiektem a nim samym) Nietrywialną relacją jest podobieństwo, czyli identyczność pod jakimś względem (np. ze względu na jakąś cechę lub przynaleŝność do jakiejś wspólnej klasy). 13
14 Kwantyfikator jednostkowy!x P(x) ( x P(x) ( x,y (P(x) P(y) x = y))) Istnieje dokładnie jeden x taki, Ŝe P(x) wtedy i tylko wtedy, gdy istnieje x taki, Ŝe P(x) oraz dla kaŝdego y, jeśli P(y), to y jest x-em. Negacja kwantyfikatora jednostkowego!x P(x) ( x P(x) ( x,y (P(x) P(y) x y))) 14
15 Rachunek nazw (Arystoteles) Zdanie kategoryczne, to zdanie o budowie podmiotowo-orzecznikowej, w którym występują dwie nazwy (w roli podmiotu i w roli orzecznika) połączone funktorem zdaniotwórczym jest. WyróŜniamy cztery typy zdań kategorycznych: 1. zdanie ogólno-twierdzące KaŜde S jest P (SaP) 2. zdanie ogólno-przeczące śadne S nie jest P (SeP) 3. zdanie szczegółowo-twierdzące Niektóre S są P (SiP) 4. zdanie szczegółowo-przeczące Niektóre S nie są P (SoP) S - subiectum (podmiot) P - praedicatum (orzecznik) SaP, SiP - affirmo (twierdzę) SeP, SoP - nego (przeczę) Przykład KaŜdy adwokat jest prawnikiem. (SaP) śaden sędzia nie jest prokuratorem. (SeP) Niektórzy prawnicy są prokuratorami. (SiP) Niektórzy prawnicy nie są prokuratorami. (SoP) Ex(S) SiS (zdanie Ex(S) stwierdza istnienie obiektu będącego S, czyli stwierdza niepustość S) 15
16 diagramy Venna zdanie prawdziwe zdanie fałszywe SaP SeP SiP SoP 16
17 Prawa z kwadratu logicznego SaP x (x S x P) x (x S x P) SoP SeP x (x S x P) x (x S x P) SiP SiP x (x S x P) x (x S x P) SeP SoP x (x S x P) x (x S x P) SaP SaP przeciwne SeP podporządkowane sprzeczne sprzeczne podporządkowane SiP podprzeciwne SoP (SaP Ex(S)) SeP ( SiP Ex(S)) SoP (SaP Ex(S)) SiP (SeP Ex(S)) SaP ( SoP Ex(S)) SiP (SeP Ex(S)) SoP 17
18 S II I III P S - zakres nazwy S P - zakres nazwy P I - obiekty S, które są P II - obiekty S, które nie są P III - obiekty P, które nie są S 18
19 Zadanie WykaŜ, Ŝe: (SaP Ex(S)) SeP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy krasnal ma czapkę i jakiś krasnal istnieje (krasnale istnieją), to nieprawdą jest, Ŝe Ŝaden krasnal nie ma czapki. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] (SeP Ex(S)) SaP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli Ŝaden krasnal nie ma pistoletu i jakiś krasnal istnieje (krasnale istnieją), to nieprawdą jest, Ŝe kaŝdy krasnal ma pistolet. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] 19
20 ( SiP Ex(S)) SoP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli nieprawdą jest, Ŝe pewien krasnal ma chorobę weneryczną i jakiś krasnal istnieje (krasnale istnieją), to pewien krasnal nie ma choroby wenerycznej. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] ( SoP Ex(S)) SiP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli nieprawdą jest, Ŝe pewien krasnal nie ma narzeczonej i jakiś krasnal istnieje (krasnale istnieją), to pewien krasnal ma narzeczoną. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] 20
21 (SaP Ex(S)) SiP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli kaŝdy krasnal ma czapkę i jakiś krasnal istnieje (krasnale istnieją), to pewien krasnal ma czapkę. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] (SeP Ex(S)) SoP Przykład potwierdzający (weryfikujący) (nie ma mocy dowodu): jeśli Ŝaden krasnal nie ma narzeczonej i jakiś krasnal istnieje (krasnale istnieją), to pewien krasnal nie ma narzeczonej. [nazwa krasnal jest tu zastosowana celowo - dlaczego?] 21
22 Prawa konwersji (konwersja to przestawienie podmiotu i orzecznika) prostej z ograniczeniem SeP PeS SiP PiS (SaP Ex(S)) (SeP Ex(P)) PiS PoS 22
23 Prawa obwersji (obwersja to zanegowanie orzecznika i zmiana jakości zdania) SaP Se-P SeP Sa-P SiP So-P SoP Si-P 23
24 Prawa obwersji konwersji (obwersja zastosowana do prawej strony prawa konwersji) prostej z ograniczeniem SeP Pa-S SiP Po-S (SaP Ex(S)) Po-S (SeP Ex(P)) Pi-S 24
25 Prawa kontrapozycji częściowej (konwersja + zmiana jakości + negacja orzecznika) SaP -PeS SoP -PiS (SeP Ex(S)) -PiS (SaP Ex(-P)) -SoP 25
26 zupełnej (konwersja+ negacja orzecznika + negacja podmiotu) SaP -Pa-S SoP -Po-S (SeP Ex(S)) -Po-S (SaP Ex(-P)) -Si-P 26
27 Prawa inwersji częściowej (negacja podmiotu + zmiana jakości + zmiana ilości) zupełnej (negacja podmiotu + negacja orzecznika + zmiana ilości) (SeP Ex(P)) -SiP (SeP Ex(P)) -So-P 27
28 Tryby sylogistyczne Forma zdania kategorycznego, to funkcja zdaniowa zbudowana z jednej ze stałych a, e, i, o i ze zmiennych nazwowych. Trybem sylogistycznym nazywamy schemat wnioskowania spełniający dwa warunki: 1. Wstępują w nim dwie przesłanki będące formami zdania kategorycznego i ewentualnie przesłanka o niepustości jakiegoś terminu. Wiosek jest teŝ formą zdania kategorycznego. 2. Wstępują w nim trzy terminy, przy czym podmiot wniosku występuje w jednej przesłance, a orzecznik wniosku występuje w drugiej przesłance. Termin występujący w obu przesłankach nie występuje we wniosku - jest on nazywany terminem średnim. Mamy więc cztery moŝliwe figury trybów sylogistycznych: I II III IV M P P M M P P M S M S M M S M S S P S P S P S P 28
29 Poprawne tryby sylogistyczne figura I MaP MeP MaP SaM MeP SaM MaP MeP SaM Ex(S) SaM Ex(S) SiM SiM SaP SiP SeP SoP SiP SoP figura II figura III figura IV PeM PaM PeM SaM PaM SeM PeM PaM SaM Ex(S) SeM Ex(S) SiM SoM SeP SoP SeP SoP SoP SoP MaP MeP MaS MiP MaP MaS MoP MeP Ex(M) MaS MiS Ex(M) MaS MiS SiP SiP SiP SoP SoP SoP PaM PaM PeM MaS PaM MeS PiM MaS PeM Ex(P) MeS Ex(S) MaS Ex(M) MiS SiP SeP SoP SiP SoP SoP 29
30 Zadanie. Sprawdź niezawodność następujących trybów sylogistycznych: MeP SaM SeP PeM SiM SoP niezawodny niezawodny 30
31 PeM SaM Ex(S) SoP PeM MeS SeP niezawodny zawodny 31
Piotr Ł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ół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ółowoKultura logiczna Elementy sylogistyki
Kultura logiczna Elementy sylogistyki Bartosz Gostkowski bgostkowski@gmail.com Kraków 15 III 2010 Plan wykładu: Podział wnioskowań Sylogizmy Poprawność sylogizmów i niezawodność trybów PODZIAŁ WNIOSKOWAŃ
Bardziej szczegółowoKLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu
➏ Filozoa z elementami logiki Na podstawie wykªadów dra Mariusza Urba«skiego Sylogistyka Przypomnij sobie: stosunki mi dzy zakresami nazw KLASYCZNE ZDANIA KATEGORYCZNE Trzy znaczenia sªowa jest trzy rodzaje
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne
WYKŁAD 7 zdanie wynikanie wynikanie logiczne 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
Bardziej szczegółowoKlasyczne zdania kategoryczne
Klasyczne zdania kategoryczne Elementy logiki i metodologii nauk spotkanie III Bartosz Gostkowski Poznań, 20 X 09 Plan wykładu: Podział zdań z uwagi na funkcję logiczną operatora jest Zdania kategoryczne
Bardziej szczegółowoLogika SYLOGISTYKA. Robert Trypuz. 27 listopada Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) SYLOGISTYKA 27 listopada / 40
Logika SYLOGISTYKA Robert Trypuz Katedra Logiki KUL 27 listopada 2013 Robert Trypuz (Katedra Logiki) SYLOGISTYKA 27 listopada 2013 1 / 40 Plan wykładu 1 Wprowadzenie Arystoteles w sztuce Arystotelesa życiorys
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ół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ółowoWstę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
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ółowoSPIS TREŚCI. Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury...
SPIS TREŚCI Przedmowa... Wykaz skrótów... Wykaz ważniejszej literatury... XI XIII XVII Rozdział I. Pojęcie logiki i jej struktura... 1 1. Pojęcie... 1 2. Struktura... 2 3. Logika a nauki pokrewne... 5
Bardziej szczegółowoSpis 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ółowoTesty Różnych Interpretacji Kwantyfikatorów Ogólnego i Egzystencjalnego (RIKO i RIKE) raport z konstrukcji narzędzi
Testy Różnych Interpretacji Kwantyfikatorów Ogólnego i Egzystencjalnego (RIKO i RIKE) raport z konstrukcji narzędzi Raport Badawczy numer: 7(7)/2016; opublikowany: 2 grudnia 2016. Katarzyna Paluszkiewicz
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ół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ół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ół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ół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ółowoTest Giętkości Dedukcyjnej (TGD) raport z konstrukcji narzędzia. Raport Badawczy numer: 3(3)/2016; opublikowany: 12 czerwca 2016.
Test Giętkości Dedukcyjnej (TGD) raport z konstrukcji narzędzia Raport Badawczy numer: 3(3)/2016; opublikowany: 12 czerwca 2016. Natalia Żyluk Badanie jest częścią projektu Modelowanie rozumowań abdukcyjnych
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ółowoLogika Radosna 4. Jerzy Pogonowski. Semantyka KRP. Zakład Logiki Stosowanej UAM
Logika Radosna 4 Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Semantyka KRP Jerzy Pogonowski (MEG) Logika Radosna 4 Semantyka KRP 1 / 204 Wprowadzenie Uszy i Ogon
Bardziej szczegółowoRachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a
Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to
Bardziej szczegółowoI. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
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ół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ół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ół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ółowo1. Sylogistyka Arystotelesa
1. Sylogistyka Arystotelesa Arystoteles ze Stagiry, syn Nikomacha, lekarza z dziada pradziada, działajacego przy dworze króla Macedonii, ur. 384 p.n.e. w Stagirze, zm. 322 p.n.e. w Chalcydzie. Arystoteles
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ół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ół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ółowowypowiedzi 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
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ół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ółowoRachunek zdań. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Rachunek zdań Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak RACHUNEK ZDAŃ Zdania Definicja Zdanie jest to stwierdzenie w języku naturalnym, któremu można przypisać wartość prawdy lub
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ół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ół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ół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ół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ółowoUwagi 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
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ół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ół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ółowoLogika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Algebra zbiorów 3 3 Różnica symetryczna 4 4 Iloczyn kartezjański. Kwantyfikatory. 5 5 Kwantyfikatory. 6 6 Relacje 7 7 Relacje
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ół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ółowoCzyli ABC logiki predykatów
Czyli ABC logiki predykatów PROBLEM POLICJI PRL ma nowego gangstera, Udało się go złapać, Złożył następujące zeznanie: Popełniłem wszystkie przestępstwa z użyciem dwustronnego kilofa. W ostatnim napadzie
Bardziej szczegółowoKultura 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
Bardziej szczegółowo(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
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ółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne
WYKŁAD 14 przykłady odpowiedzi na moŝliwe pytania egzaminacyjne 1 Uwaga: na egzaminie mogą pojawić się pytania nie uwzględnione w przedstawionych niŝej przykładach. 2 ZADANIE 1 1. Podaj definicję wyraŝeń:
Bardziej szczegółowoROZDZIAŁ 1. Rachunek funkcyjny
ROZDZIAŁ 1 Rachunek funkcyjny Niech X 1,..., X n będą dowolnymi zbiorami. Wyrażenie (formułę) ϕ(x 1,..., x n ), w którym występuje n zmiennych x 1,..., x n i które zamienia się w zdanie logiczne, gdy zamiast
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ółowoO PEWNYM UJĘCIU LOGIKI TRADYCYJNEJ
ACTA U N I V E R S I T A T I S N I C O L A I C O P E R N I C I LOGIKA I NAUKI HUMANISTYCZNO-SPOŁECZNE ZESZYT 224 1991 Katedra Logiki Andrzej» Piełruszczak O PEWNYM UJĘCIU LOGIKI TRADYCYJNEJ 1. PROBLEM
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ół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ół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ółowoJęzyk rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...
Język rachunku predykatów 1 Zmienne x, y, z... 2 Predykaty n-argumentowe P(x, y,...), Q(x, y...),... 3 Funktory zdaniowe,,,, 4 Kwantyfikatory: istnieje, dla każdego Język rachunku predykatów Ustalenie
Bardziej szczegółowoJEZYKOZNAWSTWO. 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
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ół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ół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ółowoKlasyczny 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
Bardziej szczegółowoPowtó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
Bardziej szczegółowo4 Klasyczny rachunek zdań
4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo
Bardziej szczegółowoMichał Lipnicki (UAM) Logika 11 stycznia / 20
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 11 stycznia 2013 Michał Lipnicki (UAM) Logika 11 stycznia 2013 1 / 20 KRP wstęp Wstęp Rozważmy wnioskowanie: Każdy człowiek jest śmiertelny. Sokrates
Bardziej szczegółowoWSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
Bardziej szczegółowoZdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).
Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych
Bardziej szczegółowoWykł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ę
Bardziej szczegółowoRachunek zdań I rzędu Aksjomaty rachunku zdań, tautologie Schematy rachunku zdań Dowodzenie poprawności Metoda zerojedynkowa Skrócona metoda
Rachunek zdań I rzędu Aksjomaty rachunku zdań, tautologie Schematy rachunku zdań Dowodzenie poprawności Metoda zerojedynkowa Skrócona metoda zerojedynkowa Metoda założeniowa Rachunek zdań II rzędu Rachunek
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ółowoNaukoznawstwo. Michał Lipnicki. 26 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki () Naukoznawstwo 26 listopada / 1
Naukoznawstwo Michał Lipnicki Zakład Logiki Stosowanej UAM 26 listopada 2009 Michał Lipnicki () Naukoznawstwo 26 listopada 2009 1 / 1 Plan Plan Dzisiejsze zajęcia będą miały charakter teoretyczno-praktyczny:
Bardziej szczegółowoKultura 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
Bardziej szczegółowoLogika 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
Bardziej szczegółowoWprowadzenie 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
Bardziej szczegółowoCzyli tautologie, kontrtautologie i wynikanie w KRP.
Czyli tautologie, kontrtautologie i wynikanie w KRP Z powodu naszej długiej nieobecności PRL bardzo się rozzuchwalił. Dziś w nocy dokonano brutalnego porwania jednego z policjantów. Obecnie przebywa on
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ół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 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ół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ółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk
WYKŁAD 13 metodologia nauk 1 Uwaga organizacyjna (oczywista): Na egzamin przychodzimy z indeksem. Warunkiem przystąpienia do egzaminu jest wpis zaliczający ćwiczenia. Osoba nie mająca przy sobie indeksu
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku
Bardziej szczegółowoJEZYKOZNAWSTWO. 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
Bardziej szczegółowoPrawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne.
Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne. PRAWA RACHUNKU ZBIORÓW LP PRAWO NAZWA 1 A B = B A A
Bardziej szczegółowo5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Bardziej szczegółowoJEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca Imię i Nazwisko:...
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 29 czerwca 2015 Imię i Nazwisko:............................................................... DZIARSKIE SKRZATY Wybierz
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ół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ółowoLogika 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.
Bardziej szczegółowoKompetencja logiczna a poprawność logiczna. Analiza na przykładzie terminów pustych
Paula Bucholc Kompetencja logiczna a poprawność logiczna. Analiza na przykładzie terminów pustych 1. Wstęp Podstawowym zagadnieniem poruszanym w tym artykule jest zależność pomiędzy kompetencją logiczną,
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 predykatów
Elementy logiki. Klasyczny rachunek predykatów. 1 Elementy logiki Klasyczny rachunek predykatów Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza
Bardziej szczegółowoPodstawy logiki i teorii zbiorów Ćwiczenia
Podstawy logiki i teorii zbiorów Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Kwantyfikatory. 5 6 Relacje 7
Bardziej szczegółowoPODSTAWY SZTUCZNEJ INTELIGENCJI
Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia
Bardziej szczegółowoZdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).
Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych
Bardziej szczegółowoSYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2020 realizacja w roku akademickim 2016/2017 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu
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ół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ółowo