Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne
|
|
- Julia Leśniak
- 7 lat temu
- Przeglądów:
Transkrypt
1 WYKŁAD 14 przykłady odpowiedzi na moŝliwe pytania egzaminacyjne 1
2 Uwaga: na egzaminie mogą pojawić się pytania nie uwzględnione w przedstawionych niŝej przykładach. 2
3 ZADANIE 1 1. Podaj definicję wyraŝeń: metajęzyk języka L, język przedmiotowy, język drugiego stopnia. 2. Podaj przykład zdania w języku przedmiotowym, zdania w języku drugiego stopnia i w języku trzeciego stopnia. 3. Jakim językiem jest metajęzyk dla języka piątego stopnia? ad 1. - Metajęzykiem języka L jest taki język L, w którym wypowiadamy się o wyraŝeniach języka L. - Językiem przedmiotowym jest język, w którym wypowiadamy się o rzeczywistości nas otaczającej (pozajęzykowej). - Językiem drugiego stopnia jest język, w którym wypowiadamy się o wypowiedziach formułowanych w języku pierwszego stopnia. ad 2. Przykład zdania w języku przedmiotowym: Słońce świeci. Przykład zdania w języku drugiego stopnia: Słońce świeci jest zdaniem fałszywym. Przykład zdania w języku trzeciego stopnia: Słońce świeci jest zdaniem fałszywym jest zdaniem języka polskiego. ad 3. Metajęzykiem języka piątego stopnia jest język szóstego stopnia. 3
4 ZADANIE 2 Jaki jest warunek zrozumiałego dla obu stron posługiwania się w rozmowie wyraŝeniem W? Odpowiedź zilustruj przykładami. Tym warunkiem jest toŝsamość rozumienia wyraŝenia W przez obie strony rozmowy. Chodzi tu między innymi o: - toŝsamość tego do czego W się odnosi (obiektu, stanu rzeczy). Przykład: Błędem jest, gdy jedna strona pojmuje W = reformę systemu karania jako złagodzenie kar, a strona druga jako racjonalizację karania. - toŝsamość metody rozstrzygania o poprawności uŝycia W. Przykład: Błędem jest, gdy jedna strona rozumie udowodnienie tezy jako rozumowania opartego na związku tetycznym, a strona druga na związku logicznym. - toŝsamości funkcji uŝycia W. Przykład: Błędem jest, gdy jedna strona rozumie wypowiedź jako powaŝną, a strona druga uwaŝa ją za Ŝart - róŝne rozumienie siły illokucyjnej. - zgodność zabarwienia emocjonalnego towarzyszącego uŝyciu W. Przykład: Błędem jest, gdy jedna strona rozumie W jako zjawisko pozytywne, więc poŝądane, a strona druga jako zjawisko neutralne, więc obojętne. 4
5 ZADANIE 3 Jakie znasz kryteria prawdy? Podaj policyjno-sądowe przykłady zastosowania kaŝdego z nich. Kryterium klasyczne - prawdziwym jest sąd zgodny z rzeczywistością. Przykład: Odrzucamy twierdzenie, Ŝe A popełnił samobójstwo, poniewaŝ strzał pozbawiający A Ŝycia padł z odległości 10 m. K. koherencyjne - prawdziwym jest sąd zgodny (spójny, niesprzeczny) z innymi sądami. Przykład: W wyniku konfrontacji dwóch sprzecznych ze sobą zeznań, akceptujemy zeznania A jako spójne (A sobie w nich nie zaprzeczył) i odrzucamy zeznania B jako niespójne (B sobie w nich zaprzeczył). K. oczywistości (intuicyjne) - prawdziwym jest sąd, który wydaje się być oczywistym. Przykład: A musiał rozpoznać B, bo był od niego oddalony o 3m, na otwartej przestrzeni, w samo południe. K. strukturalne (formalno-logiczne) - prawdziwość sądu wynika z budowy składniowej zdania go wyraŝającego, moŝe teŝ być wypadkową prawdziwości i fałszywości innych sądów. Przykład: Raz z pana zeznań wynika, Ŝe był pan na miejscu zbrodni, innym zaś razem wynika, Ŝe nie. Proszę się zdecydować! Przypominam, Ŝe zeznaje pan pod przysięgą! K. autorytetu - prawdziwym jest sąd wypowiedziany przez kogoś obdarzonego autorytetem lub przez znawcę tematu (prestiŝowy ośrodek naukowy, ekspert z danej dziedziny, wiarygodna gazeta/stacja tv). Przykład: KaŜda ekspertyza jest tu przykładem. K. zgody powszechnej - prawdziwym jest sąd podzielany przez większość ludzi. Przykład: PrzecieŜ wszyscy świadkowie mówią to samo! K. pragmatyczne - prawdziwym jest sąd, który jest poŝyteczny. Przykład: Umorzono śledztwo w sprawie Kuby Rozpruwacza, aby nie wywołać pogromu śydów w Londynie (przypuszczenie podane w filmie produkcji BBC wyemitowanym przez Discovery Channel). 5
6 ZADANIE 4 Kiedy kryterium K jest warunkiem koniecznym, a kiedy wystarczającym zajścia zdarzenia opisanego zdaniem A? Rozpoznaj, które kryterium w podanym przykładzie jest warunkiem koniecznym, a które wystarczającym dla zdania Ulice są mokre? Przykład: Ulice są mokre wtedy i tylko wtedy gdy pada deszcz lub jeździła polewaczka. K jest warunkiem wystarczającym (dostatecznym) zajścia A, jeśli zajście K pociąga za sobą zajście A: x (K(x) A(x)) K jest warunkiem koniecznym zajścia A, jeśli z faktu, iŝ zaszło A wynika, Ŝe zaszło K: x (A(x) K(x)) W podanym przykładzie: warunkiem koniecznym dla zdania Ulice są mokre jest alternatywa Pada deszcz lub jeździła polewaczka, bo Jeśli ulice są mokre, to pada deszcz lub jeździła polewaczka. warunkiem wystarczającym jest kaŝde z trzech zdań: Pada deszcz lub jeździła polewaczka, Pada deszcz, Jeździła polewaczka, bo: 1. Jeśli pada deszcz lub jeździła polewaczka, to ulice są mokre ; 2. Jeśli pada deszcz, to pada deszcz lub jeździła polewaczka (prawo logiczne) i Jeśli pada deszcz lub jeździła polewaczka, to ulice są mokre (załoŝenie), więc Jeśli pada deszcz, to ulice są mokre (prawo przechodniości); 3. Jeśli jeździła polewaczka, to pada deszcz lub jeździła polewaczka (prawo logiczne) i Jeśli pada deszcz lub jeździła polewaczka, to ulice są mokre (załoŝenie), więc Jeśli jeździła polewaczka, to ulice są mokre (prawo przechodniości). 6
7 ZADANIE 5 Czym jest zbiór w sensie dystrybutywnym, a czym zbiór w sensie kolektywnym? Który zbiór jest dystrybutywny, a który kolektywny: 1. ręka złoŝona z barku, ramienia, przedramienia, dłoni; oraz 2. klasa 3b rozumiana jako zbiór uczniów ją stanowiących. Czym róŝni się relacja naleŝenia dystrybutywnego od relacji naleŝenia kolektywnego? Zbiór w sensie dystrybutywnym jest przedmiotem abstrakcyjnym, ujmującym w całość róŝne, częstokroć nie związane ze sobą obiekty. Zbiór dystrybutywny nie jest obiektem ani czasowym, ani przestrzennym. Zbiór w sensie kolektywnym (mereologicznym), to obiekt przestrzenny (bryła, płaszczyzna lub linia), którego elementami są jego części. Istnieje w czasie i przestrzeni. Przykład: 1. Ręka złoŝona z barku, ramienia, przedramienia, dłoni, to zbiór w sensie kolektywnym. 2. Kasa 3 b rozumiana jako zbiór uczniów ją stanowiących, to zbiór w sensie dystrybutywnym. Relacja naleŝenia dystrybutywnego jest przeciwzwrotna i nie jest przechodnia, bo: a) Ŝaden zbiór do siebie nie naleŝy oraz b) uczeń naleŝący do klasy 3b, która naleŝy do zbioru klas szkoły nr 65, sam nie jest elementem zbioru klas szkoły nr 65. Relacja naleŝenia kolektywnego jest zwrotna i przechodnia, bo: a) kaŝdy zbiór jest własnym elementem (jest ingrediensem) oraz b) palec będący częścią dłoni, która jest częścią ręki, sam teŝ jest częścią ręki. 7
8 ZADANIE 6 Co to jest absurd, a co nonsens? Podaj przykład absurdu i przykład nonsensu. Absurd to zdanie, z którego wynika sprzeczność, czyli koniunkcja dwóch zdań, z których jedno jest zaprzeczeniem drugiego. Przykład: Kupiłem wczoraj rybę drugiej świeŝości. Skoro ryba była drugiej świeŝości, to znaczy Ŝe jednocześnie była świeŝa i nieświeŝa. Bo świeŝość jest jedna - pierwsza i zarazem ostatnia - jak twierdzi Woland z Mistrza i Małgorzaty. Nonsens to wyraŝenie, które nie posiada znaczenia. Przykład: Człowiek jest ssakiem parzystym. Człowiek to zwierzą podzielne przez 5. Człowiek jest ssakiem non-parzystym (bo przecieŝ ani parzystym, ani nieparzystym). 8
9 ZADANIE 7 Stosująca diagramy Venna sprawdź, czy ze zdań KaŜdy człowiek jest łapówkarzem i KaŜdy jest człowiekiem wynika na mocy rachunku nazw Arystotelesa zdanie KaŜdy jest łapówkarzem. Oceń poprawność tego wnioskowania. Rozumowanie to reprezentuje schemat: x (P(x) Q(x)) ( x P(x) x Q(x)), gdzie P(x) oznacza x jest człowiekiem, Q(x) oznacza x jest łapówkarzem. Ograniczmy rozumowanie do dziedziny, którą stanowi zbiór wszystkich ludzi Dowód nie wprost - zakładam prawdziwość obu przesłanek: x (P(x) Q(x)) i x P(x), oraz fałszywość wniosku x Q(x). Mamy wówczas dwa przypadki, tak jak na rysunkach. W obu dochodzimy do sprzeczności - nie moŝe bowiem być tak, aby coś naleŝało do zbioru pustego. Rozumowanie jest niepoprawne, gdyŝ chociaŝ poprawne formalnie nie jest ono poprawne materialnie, z powodu fałszywości pierwszej przesłanki - przecieŝ nie wszyscy ludzie są łapówkarzami. Gdyby dziedziną nie był zbiór ludzi, to fałszywą byłaby takŝe druga przesłanka. [komentarz: skąd więc ten głupi, a popularny w Polsce tekst U nas wszyscy biorą?] 9
10 ZADANIE 8 Co to jest nazwa? Jaka nazwa jest pustą, a jaka sprzeczną? Czym jest zakres nazwy pustej? Podaj przykład nazwy sprzecznej oraz nazwy pustej niesprzecznej. Określ w jakim stosunku ze względu na zakres pozostają nazwy, które podałeś jako przykład. W jakim stosunku pozostają nazwy nazwa pusta i nazwa sprzeczna? Nazwa jest to wyraŝenie mogące wystąpić w zdaniu jako podmiot lub orzecznik orzeczenia imiennego. Orzeczenie imienne to orzeczenie stwierdzające o podmiocie, Ŝe jest taki a taki. Zatem, jeśli mamy zdanie a jest b, to a jest w tym zdaniu podmiotem, a b orzecznikiem orzeczenia imiennego. Nazwa pusta to nazwa, która nie ma desygnatu. Zatem zakresem nazwy pustej jest zbiór pusty. Nazwa sprzeczna to taka nazwa, dla której załoŝenie istnienia desygnatu prowadzi do sprzeczności, czyli do koniunkcji dwóch zdań, z których jedno jest zaprzeczeniem drugiego. Przykładem nazwy sprzecznej jest parterowy wieŝowiec. Przykładem nazwy pustej niesprzecznej jest stupiętrowy dom w Poznaniu. Desygnat nazwy sprzecznej nie moŝe istnieć więc nie istnieje, zaś desygnat nazwy sprzecznej nie istnieje choć moŝe istnieć. Zakresem kaŝdej z tych dwóch nazw jest zbiór pusty. PoniewaŜ istnieje tylko jeden zbiór pusty, zatem nazwy te są równozakresowe - mają ten sam zakres. Nazwa pusta jest nazwą nadrzędną (ze względu na zakres) wobec nazwy nazwa sprzeczna, poniewaŝ kaŝda nazwa sprzeczna jest pusta, ale nie kaŝda nazwa pusta jest sprzeczna. 10
11 ZADANIE 9 Co to jest rozumowanie? Rozpoznaj rodzaj rozumowania i podaj jego definicję: On mógł wziąć łapówkę od mafii rosyjskiej, bo przeprowadził się do luksusowej dzielnicy domków jednorodzinnych. Co w tym rozumowaniu jest w racją, a co następstwem? Czy jest ono niezawodne? Rozpoznaj związek jaki zachodzi między racją i następstwem, który jest podstawą tego rozumowania. Rozumowanie to myślenie uzasadniające, w którym przyjmujemy określone wartości pewnych zdań i dochodzimy do przeświadczenia o określonych wartościach logicznych innych zdań. Podane jako przykład rozumowanie jest sprawdzaniem, czyli dobieraniem następstwa znanego skądinąd jako prawdziwe do nieznanej jako prawdziwa racji. Racją jest tu wziął łapówkę od mafii rosyjskiej, zaś następstwem przeprowadził się do luksusowej dzielnicy domków jednorodzinnych. Sprawdzanie jest rozumowaniem zawodnym, gdyŝ prawdziwość następnika implikacji nie gwarantuje prawdziwości jej poprzednika. Podane jako przykład rozumowanie opiera się na związku przyczynowo-skutkowym wyraŝonym implikacją: Jeśli wziął łapówkę od mafii rosyjskiej, to przeprowadził się do luksusowej dzielnicy domków jednorodzinnych. 11
Logiczne podstawy prawoznawstwa
Logiczne podstawy prawoznawstwa Piotr Łukowski Katedra Logiki i Metodologii Nauk Uniwersytet Łódzki 1 Literatura [1] Kazimierz Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa 1965. [2] Zygmunt Ziembiński,
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ół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ół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ół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ół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ół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ół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ółowoKonspekt 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ę
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ół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ółowoWprowadzenie do logiki Pojęcie wynikania
Wprowadzenie do logiki Pojęcie wynikania Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Gry plan: jak używamy terminu wynikanie w potocznych kontekstach? racja, następstwo i związki
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ół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ół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ół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ół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ół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ół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ółowoRACHUNEK 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
Bardziej szczegółowoParadoksy 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
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ół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ółowoMetodologia 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
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ół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ół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ół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ółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 12. rozumowania
WYKŁAD 12 rozumowania 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: poniedziałki,
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ół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ół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ółowoWstę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ł.
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ół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ół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ółowoFilozofia, ISE, Wykład V - Filozofia Eleatów.
2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 2. nazwa
WYKŁAD 2 nazwa 1 Składniki zdań - kategorie syntaktyczne - nazwa kategorie składniowe znaczeniowo samodzielne znaczeniowo niesamodzielne nazwy zdania funktory operatory 2 Edmund Husserl 1913 / Kazimierz
Bardziej szczegółowoCzyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.
Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II TYP 2 KONTRTAUTOLOGIK POSPOLITY Jego cechą charakterystyczną jest wypowiadanie zdao będących wyłącznie schematami
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ółowo14. Grupy, pierścienie i ciała.
4. Grup, pierścienie i ciała. Definicja : Zbiór A nazwam grupą jeśli jest wposaŝon w działanie wewnętrzne łączne, jeśli to działanie posiada element neutraln i kaŝd element zbioru A posiada element odwrotn.
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ół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ółowoFilozofia przyrody - Filozofia Eleatów i Demokryta
5 lutego 2012 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 4 Materializm Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej
Bardziej szczegółowoLogika 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
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ółowoZastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać
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ół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ół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ół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ół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ół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ół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ół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ół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ółowoOgó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
Bardziej szczegółowo4. Zagadnienie prawdy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
4. Zagadnienie prawdy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Metafizyczne i epistemologiczne pojęcia prawdziwości (1) Euzebiusz jest prawdziwym
Bardziej szczegółowoBadania w naukach społecznych
Badania w naukach społecznych Twierdzenia nauk społecznych Pojęcia języka nauk społecznych słuŝą do formułowania twierdzeń Twierdzenie zdanie orzekające coś o przedmiocie, którego dotyczy Jednostkowe Analityczne
Bardziej szczegółowoPrzedmiotowe Zasady Oceniania matematyka, geometria w ćwiczeniach, funkcje w zastosowaniach Sposoby sprawdzania osiągnięć edukacyjnych
Przedmiotowe Zasady Oceniania matematyka, geometria w ćwiczeniach, funkcje w zastosowaniach Sposoby sprawdzania osiągnięć edukacyjnych Ocenie podlegają: a) sprawdziany pisemne wiadomości: - kartkówka obejmuje
Bardziej szczegółowoMaria 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
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ółowoNazwy. Jak widać, nazwa to nie to samo co rzeczownik. W podanych przykładach na nazwę złoŝoną składa się cały zespół
Nazwa spełnia istotną rolę w języku, gdyŝ umoŝliwia proces identyfikowania róŝnych obiektów i z tego powodu nazwa jest podstawowym składnikiem wypowiedzi. Nazwa jest to wyraz albo wyraŝenie rozumiane jednoznacznie,
Bardziej szczegółowoPiotr Łukowski, Wykład dla studentów prawa WYKŁAD 2. nazwa
WYKŁAD 2 nazwa 1 Składniki zdań - kategorie syntaktyczne - nazwa kategorie składniowe znaczeniowo samodzielne znaczeniowo niesamodzielne nazwy zdania funktory operatory 2 Edmund Husserl 1913 / Kazimierz
Bardziej szczegółowoIVa. Relacje - abstrakcyjne własności
IVa. Relacje - abstrakcyjne własności Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny wiva. Krakowie) Relacje - abstrakcyjne własności 1 / 22 1 Zwrotność
Bardziej szczegółowoWstęp do logiki. Argumentacja
Wstęp do logiki Argumentacja 1 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ąć
Bardziej szczegółowoCzyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.
Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II TYP 3 SPRZECZNIK WREDNAWY Ten typ jest bardziej rozmowny. Wypowiada zazwyczaj kilka zdao. Ich cechą jest to,
Bardziej szczegółowoWstęp do matematyki listy zadań
Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki
Bardziej szczegółowoAndrzej 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ć
Bardziej szczegółowoLOGIKA: WIELKA KSIĘGA PYTAŃ I ODPOWIEDZI EDYCJA I: ROK 2009
LOGIKA: WIELKA KSIĘGA PYTAŃ I ODPOWIEDZI EDYCJA I: ROK 2009 SPIS TREŚCI: TEORIA NAZW [2] / TEORIA DEFINICJI [12] / TEORIA PYTAŃ [19] / TEORIA WNIOSKOWAŃ [23] / KATEGORIE SYNTAKTYCZNE [27] / INNE [29].
Bardziej szczegółowoEGZAMIN MATURALNY W ROKU SZKOLNYM 2017/2018 FILOZOFIA
EGZAMIN MATURALNY W ROKU SZKOLNYM 2017/2018 FILOZOFIA POZIOM ROZSZERZONY FORMUŁA OD 2015 ( NOWA MATURA ) ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R1 MAJ 2018 Uwaga: akceptowane są wszystkie odpowiedzi
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Oceny z matematyki będą ustalane za pomocą średniej ważonej. Każdej ocenie cząstkowej zostanie przypisana jej waga według następującego schematu: Kategoria oceny
Bardziej szczegółowoWykład 9 Rejestracja stanu prawnego nieruchomości Księgi wieczyste - Kw
Wykład 9 Rejestracja stanu prawnego nieruchomości Księgi wieczyste - Kw 1.Wstęp W EGiB rejestrujemy przede wszystkim informacje o stanie faktycznym gruntów. Obiektem stanu faktycznego jest działka. Drugim
Bardziej szczegółowoFilozofia 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
Bardziej szczegółowoKonspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (27.10.2006 i 03.11.2006) Przedmiot logiki Na początek spójrzmy, co kryje się pod hasłem logika w Słowniku języka polskiego PWN. Wyróżnione są trzy znaczenia
Bardziej szczegółowoRodzaje 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
Bardziej szczegółowoUJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA
UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA ARGUMENTY PRZECIW ISTNIENIU BOGA ARGUMENTY ATEISTYCZNE 1 1. Argument z istnienia zła. (Argument ten jest jedynym, który ateiści przedstawiają jako
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ół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ół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ółowoPodstawy Sztucznej Inteligencji (PSZT)
Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania
Bardziej szczegółowoLogika 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,
Bardziej szczegółowoCZYLI ABC WNIOSKOWAŃ.
CZYLI ABC WNIOSKOWAŃ Witam serdecznie na Międzynarodowej Konferencji Śledczej! W dniu dzisiejszym zajmiemy się analizą wnioskowao w kilku spektakularnych sprawach ostatnich lat. Większośd z nich ma związek
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ółowoAndrzej 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.:
Bardziej szczegółowoPrzedmiotowy system oceniania z języka angielskiego w Szkole Podstawowej nr 18 im. Jana Matejki w Koszalinie ( klasy IV-VI)
Przedmiotowy system oceniania z języka angielskiego w Szkole Podstawowej nr 18 im. Jana Matejki w Koszalinie ( klasy IV-VI) 1. Cele oceniania Systematyczna obserwacja postępów ucznia Uświadomienie uczniowi
Bardziej szczegółowoDowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
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ółowoPrzedmiotowy System Oceniania z matematyki. Sporządzony przez Komisję przedmiotów matematycznych
Przedmiotowy System Oceniania z matematyki Sporządzony przez Komisję przedmiotów matematycznych Przedmiotowy System Oceniania z matematyki I. Ocenie podlegają osiągnięcia ucznia w zakresie: 1. Jego matematycznych
Bardziej szczegółowoEgzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
Bardziej szczegółowoRachunek 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
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO dla klas 1-3 Gimnazjum
PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO dla klas 1-3 Gimnazjum Obszary aktywności podlegające ocenianiu 1. WYPOWIEDZI USTNE (przynajmniej 1 ocena w semestrze) - dialogi lub monologi na dany
Bardziej szczegółowoWykład 2 Logika dla prawników. Funkcje wypowiedzi Zdanie Analityczne i logiczne związki między zdaniami
Wykład 2 Logika dla prawników Funkcje wypowiedzi Zdanie Analityczne i logiczne związki między zdaniami Zadania logiki prawniczej: Dostarczenie przydatnych wskazówek w dziedzinie języka prawnego i prawniczego,
Bardziej szczegółowoLogika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Bardziej szczegółowoInstrukcja warunkowa i złoŝona.
Instrukcja warunkowa i złoŝona. Budowa pętli warunkowej. JeŜeli mielibyśmy przetłumaczyć instrukcję warunkową to brzmiałoby to mniej więcej tak: jeŝeli warunek jest spełniony, to wykonaj jakąś operację
Bardziej szczegółowoPRZEDMIOTOWY SYSTEM OCENIANIA
PRZEDMIOTOWY SYSTEM OCENIANIA - MATEMATYKA Oceny z matematyki będą ustalane za pomocą średniej ważonej. Każdej ocenie cząstkowej zostanie przypisana jej waga według następującego schematu: Kategoria oceny
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ółowo