Wstęp do logiki. Semiotyka cd.
|
|
- Emilia Szydłowska
- 6 lat temu
- Przeglądów:
Transkrypt
1 Wstęp do logiki Semiotyka cd.
2 Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna sprzeczność itp. Podanie efektywnych metod ustalania związków tego rodzaju wymaga przypisania zdaniom odpowiednich struktur. Autorem przedstawionego tu podejścia posiadającego obecnie wiele odmian jest Kazimierz Ajdukiewicz. Opiera się ono na następujących intuicjach: 2
3 Każde poprawnie zbudowane wyrażenie złożone składa się z członu niezupełnego, który organizuje jego strukturę (zwanego funktorem), oraz członów uzupełniających (zwanych argumentami funktora): Ewa kusi Adama Arg 1 Funktor Arg 2 Rolę wyrażeń w związkach funktorowo-argumentowych można scharakteryzować przypisując tym wyrażeniom indeksy strukturalne w ten sposób, że indeks funktora określa indeksy argumentów, jak i indeks wyrażenia złożonego z tego funktora i jego argumentów. Wyrażenia posiadające ten sam indeks należą do tej samej kategorii gramatycznej, tzn. są wzajemnie zastępowalne w kontekstach zdaniowych z zachowaniem gramatyczności. 3
4 Wszystkie wyrażenia prócz elementów słownika składają się z części np. w skład zdania Ewa kusi Adama wchodzą wyrazy: Ewa, kusić, Adam (wzięte w odpowiednich formach). Rozważane zdanie można traktować jako złożenie tych wyrazów: Ewa + kusić + Adam. Poszczególne części tworzące wyrażenie złożone nie są względem siebie równorzędne. Strukturę rozważanego zdania organizuje czasownik kusi. Jest on członem niezupełnym, tj. funktorem, natomiast imiona Ewa i Adam są członami uzupełniającymi, tj. jego argumentami. Argumenty funktora same mogą być wyrażeniami złożonymi, wtedy znów można w nich wyróżnić funktor i jego argumenty: 4
5 Arg 1 Funktor gł. Arg 2 Przewrotna Ewa kusi naiwnego Adama. Funktor Arg 11 Funktor Arg 21 Z rozważanego zdania zastępując jedną jego część np. kusi przez inne wyrażenie np. kocha otrzymamy nowe zdanie. Proces zastępowania jednych części wyrażeń przez inne, zachowujący zasadnicze właściwości gramatyczne wyrażenia będącego punktem wyjścia, nazywamy podstawianiem. Ogólnie: każde wyrażenie danego języka można otrzymać z innych wyrażeń tego języka za pomocą pewnych operacji składniowych takich, jak podstawianie i konkatenacja (łączenie), w ten sposób, że zostały one użyte skończenie wiele razy oraz żadne ich użycie nie wyprowadza poza zbiór wyrażeń tego języka. 5
6 Podstawienia prowadzą często do nonsensu. Wyrażenia różnią się bowiem niekiedy wyraźnie swoją rolą gramatyczną. Jeżeli w zdaniu Każdy doświadczony kierowca jest ostrożny wstawimy w miejsce słowa kierowca kolejno: saper, kobieta, zwierz, to otrzymamy w efekcie nowe poprawne zdania; ale wstawienie np. wyrażenia czyta prowadzi do bezładu składniowego (nonsensu). Wyrażenia kierowca i czyta pełnią odmienne funkcje gramatyczne. Przyjęto w takich przypadkach mówić o różnicy kategorii gramatycznej. Pojęcie kategorii gramatycznej jest tu podstawowe. Przyjmijmy, że dwa wyrażenia należą do tej samej kategorii gramatycznej, jeżeli są wzajemnie zastępowalne w dowolnym wyrażeniu złożonym bez utraty poprawności gramatycznej tego wyrażenia. 6
7 Zauważmy, że pojęcie gramatyczności musi być zawsze zrelatywizowane do jakiegoś konkretnego języka, a co za tym idzie, zestawy kategorii gramatycznych różnych języków mogą wyglądać przynajmniej do pewnego stopnia różnie. A zatem: DEF. 3. Kategorią gramatyczną wyrażenia α z języka J nazywamy zbiór tych wszystkich wyrażeń tego języka, którymi możemy bez utraty poprawności gramatycznej zastąpić wyrażenie α w dowolnym wyrażeniu β języka J. KATEGORIE GRAMATYCZNE podstawowe (samodzielne): zdania, nazwy pochodne (niesamodzielne): funktory 7
8 Wszystkie nazwy zaliczamy tu do jednej kategorii i przyjmujemy, że nazwą jest to, co zwykle określa się jako nazwa jednostkowa, czyli taka, która oznacza (desygnuje) dokładnie jeden przedmiot. Grupę kategorii pochodnych tworzą funktory różnych rodzajów. Można je podzielić biorąc pod uwagę: (A) Jakiego rodzaju wyrażenia wytwarzają wraz ze swymi argumentami? (B) Jakich argumentów potrzebują i w jakiej ilości? Z uwagi na (A) wyróżniam funktory: zdaniotwórcze, nazwotwórcze, funktorotwórcze. Z uwagi na (B) wyróżniamy funktory: od argumentów zdaniowych, od argumentów nazwowych, od argumentów, będących funktorami. 8
9 Zasada tworzenia indeksów: przyjmujemy, że zdania mają indeks z, a nazwy indeks n ; indeksy funktorów mają zawsze postać ułamka: w liczniku występuje indeks wyrażenia utworzonego, w mianowniku występują indeksy argumentów. 9
10 Ewa kusi Adama nazwa predykat nazwa Kategorię wyrazu kusi możemy określić w następujący sposób: jest on funktorem, który tworzy zdanie w połączeniu z dwiema nazwami. Funktory, które łącznie z jedną bądź kilkoma nazwami tworzą zdanie nazywamy predykatami. W zależności od tego z iloma nazwami tworzą zdanie wyróżniamy predykaty 1-argumentowe, 2- argumentowe itd. Przykłady. Predykaty 1-argumentowe: śpi, jest altruistą. z/n Predykaty 2-argumentowe: jest przyjacielem, śpi z. z/nn Predykaty 3-argumentowe: leży między a. z/nnn 10
11 nazwa (złożona) przewrotna Ewa wyrażenie nazwa funkcyjne Kategorię wyrazu przewrotna możemy określić następująco: jest on funktorem, który tworzy nazwę w połączeniu z jedną nazwą. Wyrażenia, które łącznie z jedną bądź kilkoma nazwami tworzą na powrót nazwę będziemy nazywać wyrażeniami funkcyjnymi (lub krótko: funktorami). W zależności od tego z iloma nazwami tworzą nazwę wyróżniamy wyrażenia funkcyjne 1-argumentowe, 2-argumentowe itd. Przykłady. Wyrażenia funkcyjne 1-argumentowe: ojciec, stolica. Wyrażenia funkcyjne 2-argumentowe: iloczyn i. n/nn n/n 11
12 predykat (2-argumentowy) Ewa podstępnie kusi Adama.? Kategorię wyrazu podstępnie możemy określić w następujący sposób: jest on funktorem funktorotwórczym, tj. tworzy predykat (2-argumentowy) wraz z jednym predykatem (2- argumentowym). Możemy mu przypisać indeks postaci (z/nn)/(z/nn). 12
13 Ewa kusi Adama i podaje mu jabłko. zdanie spójnik zdanie Kategorię słówka i możemy określić w następujący sposób: jest ono funktorem, który tworzy zdanie w połączeniu ze zdaniami. Wyrażenia, które łącznie z jednym bądź kilkoma zdaniami tworzą na powrót zdanie będziemy nazywać spójnikami. W zależności od tego z iloma zdaniami tworzą zdanie wyróżniamy spójniki 1-argumentowe, 2-argumentowe itd. Przykłady. Spójniki 1-argumentowe: nieprawda, że, możliwe, że. z/z Spójniki 2-argumentowe: oraz, lub, jeżeli, to, ani, ani. z/zz Dygresja. Wyrażenie, które jest spójnikiem w sensie logicznym nie musi być spójnikiem w sensie gramatycznym i na odwrót. 13
14 Zdanie, które otrzymujemy w wyniku dopisania zdania lub kilku zdań do spójnika nazywamy zdaniem złożonym. Zdanie, które nie jest złożone, czyli w którym nie występują spójniki nazywamy zdaniem prostym. Zdaniem prostym jest np. Ewa kusi Adama, zaś zdaniem złożonym jest np. Jeśli Ewa będzie przebiegła, to Adam ulegnie jej namowom. W każdej gramatyce chodzi przede wszystkim o zdobycie metod rozpoznawania, czy dane wyrażenie jest poprawnie zbudowane oraz o sformułowanie reguł tworzenia poprawnych gramatycznie wyrażeń. Poprawne są te wyrażenia, które potrafimy odpowiednio zaklasyfikować, tzn. wyrażenie w jest poprawnie zbudowane, gdy istnieje indeks t T taki, że w jest wyrażeniem o kategorii t (T zbiór indeksów). Metodą sprawdzania, czy dane wyrażenie jest poprawne jest metoda skracania indeksów. 14
15 Przykład. z z/zz z Ojciec Zenka śpi i (on) głośno chrapie. n/n n z/n n (z/n)/(z/n) z/n z/zz Ojciec Zenka śpi i (on) głośno chrapie. n/n n z/n n (z/n)/(z/n) z/n Dygresja. Zwróćmy uwagę, że poprawność gramatyczna nie jest tym samym, co poprawność semantyczna (sensowność), np. wyrażenie Ewa kusi Adama jest poprawne gramatycznie i semantycznie (ma spójne znaczenie), a wyrażenie Ewa dokręca Adama jest poprawne gramatycznie, ale jest niepoprawne semantycznie. 15
16 Chcąc natomiast nadać gramatyce kategorialnej postać generatywną należy każdy indeks zaopatrzyć w odpowiednie reguły przepisywania o postaci (strzałkę czytamy jako: przepisz): t (t/c 1,..., c n, d 1,..., d m ) + c c n + d d m. 16
MATEMATYKA 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
Znak, język, kategorie syntaktyczne
Składnia ustalone reguły jakiegoś języka dotyczące sposobu wiązania wyrazów w wyrażenia złożone. Językoznawstwo zajmuje się m.in. opisem składni poszczególnych języków, natomiast przedmiotem syntaktyki
WSTĘ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).
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
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
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
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ć
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
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
Np. 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
Elementy 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
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
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
0.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
Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut
Predykat Weźmy pod uwagę następujące wypowiedzi: (1) Afryka jest kontynentem. (2) 7 jest liczbą naturalną. (3) Europa jest mniejsza niż Afryka. (4) 153 jest podzielne przez 3. Są to zdania jednostkowe,
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
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
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
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź
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
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ę
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ść
Cele kształcenia wymagania ogólne
Cele kształcenia wymagania ogólne konieczne ocena: dopuszczająca podstawowe ocena: dostateczna rozszerzone ocena: dobra dopełniające ocena: bardzo dobra ponadprogramowe ocena: celująca I Kształcenie literackie
Elementy 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
Przewodnik 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
Jest 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"
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
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
Kultura logiczna Klasyczny rachunek zdań 2/2
Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór
5. 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ć.
Logika 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
Michał 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
Wprowadzenie do logiki Wyrażenia jako ciągi słów. Automaty skończone
Wprowadzenie do logiki Wyrażenia jako ciągi słów. Automaty skończone Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dzisiejsza opowieść pochodzi z Wykładów z logiki Marka Tokarza. kognitywistyka,
1. 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
Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20
Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia
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...
Przewodnik 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 SERIA AKADEMICKA 7. WYDANIE Przewodnik do ćwiczeń z logiki dla prawników
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI NA POSZCZEGÓLNE OCENY I OKRES OCENA CELUJĄCA
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI NA POSZCZEGÓLNE OCENY I OKRES OCENA CELUJĄCA otrzymuje uczeń, którego wiadomości i umiejętności znacznie wykraczają poza program języka polskiego
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 2: Język i części języka Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Semiotyka Nauka o znakach język jako system
Logika 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
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 8. Modalności i intensjonalność 1 Coś na kształt ostrzeżenia Ta prezentacja jest nieco odmienna od poprzednich. To,
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
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
Filozofia z elementami logiki Język jako system znaków słownych część 2
Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych
Przykł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
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium
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.:
Matematyka 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,
Efektywna analiza składniowa GBK
TEORETYCZNE PODSTAWY INFORMATYKI Efektywna analiza składniowa GBK Rozbiór zdań i struktur zdaniowych jest w wielu przypadkach procesem bardzo skomplikowanym. Jego złożoność zależy od rodzaju reguł produkcji
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
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
W klasie II i III rozwijane są intensywnie wszystkie cztery sprawności językowe.
Wymagania edukacyjne z języka angielskiego w klasach I - III Podczas trwania procesu nauczania języka angielskiego na I etapie edukacyjnym (nauczanie zintegrowane w klasach I, II, III) nauczyciel stopniowo
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
Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań
Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? Co znaczą i co oznaczają?
I. 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
TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI
TESTY LOGIKA redakcja naukowa ZBIGNIEW PINKALSKI Warszawa 2012 Spis treści Wykaz skrótów i symboli... 7 Wprowadzenie... 9 Rozdział I Nazwy... 11 Rozdział II Kategorie syntaktyczne... 17 Rozdział III Pytania...
Metody indeksowania dokumentów tekstowych
Metody indeksowania dokumentów tekstowych Paweł Szołtysek 21maja2009 Metody indeksowania dokumentów tekstowych 1/ 19 Metody indeksowania dokumentów tekstowych 2/ 19 Czym jest wyszukiwanie informacji? Wyszukiwanie
Kultura logicznego myślenia
Kultura logicznego myślenia rok akademicki 2015/2016 semestr zimowy Temat 6: Rachunek predykatów jako logika pierwszego rzędu logika elementarna = logika pierwszego rzędu KRZ logika zerowego rzędu Język
Matematyczne Podstawy Informatyki
Matematyczne Podstawy Informatyki dr inż. Andrzej Grosser Instytut Informatyki Teoretycznej i Stosowanej Politechnika Częstochowska Rok akademicki 2013/2014 Gramatyki bezkontekstowe I Gramatyką bezkontekstową
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
Analiza wyników egzaminu gimnazjalnego 2014 r. Test humanistyczny język polski
Analiza wyników egzaminu gimnazjalnego 2014 r. Test humanistyczny język polski Zestaw standardowy zawierał 22 zadania, w tym 20 zadań zamkniętych i 2 zadania otwarte. Wśród zadań zamkniętych dominowały
Algorytm - pojęcie algorytmu, sposób zapisu, poziom szczegółowości, czynności proste i strukturalne. Pojęcie procedury i funkcji.
Algorytm - pojęcie algorytmu, sposób zapisu, poziom szczegółowości, czynności proste i strukturalne. Pojęcie procedury i funkcji. Maria Górska 9 stycznia 2010 1 Spis treści 1 Pojęcie algorytmu 3 2 Sposób
II. Logika a gramatyka
II. Logika a gramatyka Tło historyczne. Gramatyka przeżywa renesans w epoce komputerów, ponieważ zachodzi potrzeba precyzyjnego opisu konstrukcji językowych dla celów automatycznego przekładu, automatycznego
Logika 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
Klasyczny rachunek predykatów
Kultura logiczna Klasyczny rachunek predykatów Bartosz Gostkowski bgostkowski@gmail.com Alfabet klasycznego rachunku zdań reguły konsytutywne języka Alfabet klasycznego rachunku predykatów (KRP Do alfabetu
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
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
Języki programowania zasady ich tworzenia
Strona 1 z 18 Języki programowania zasady ich tworzenia Definicja 5 Językami formalnymi nazywamy każdy system, w którym stosując dobrze określone reguły należące do ustalonego zbioru, możemy uzyskać wszystkie
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład III: Język: od syntaktyki do semantyki (od gramatyki do znaczeń) Gramatyka struktur frazowych GSF to drugi, mocniejszy z trzech modeli opisu języka
Lista 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
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2014/2015
EGZMIN W KLSIE TRZECIEJ GIMNZJUM W ROKU SZKOLNYM 2014/2015 CZĘŚĆ 1. JĘZYK POLSKI ZSDY OCENINI ROZWIĄZŃ ZDŃ RKUSZ GH-P7 KWIECIEŃ 2015 Zadanie 1. (0 1) PP Zadanie 2. (0 1) Zadanie 3. (0 1) II. naliza i interpretacja
Andrzej Wiśniewski Logika II. Wykłady 9 i 10a. Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki rok akademicki 2007/2008 Wykłady 9 i 10a. Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne 1 Język aletycznych modalnych
Kartoteka testu Oblicza miłości
Kartoteka testu Oblicza miłości Nr zad.. 2. 3. 4. 5. 6. 7. 8. Nazwa sprawdzanej umiejętności (z numerem standardu) Uczeń I/ odczytuje teksty kultury na poziomie dosłownym. dostrzega w odczytywanych tekstach
2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego
2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego Gramatyka Gramatyką G nazywamy czwórkę uporządkowaną G = gdzie: N zbiór symboli nieterminalnych, T zbiór symboli terminalnych, P zbiór
Ję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
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
Rozdział 2. Liczby zespolone
Rozdział Liczby zespolone Zbiór C = R z działaniami + oraz określonymi poniżej: x 1, y 1 ) + x, y ) := x 1 + x, y 1 + y ), 1) x 1, y 1 ) x, y ) := x 1 x y 1 y, x 1 y + x y 1 ) ) jest ciałem zob rozdział
1 Całki funkcji wymiernych
Całki funkcji wymiernych Definicja. Funkcją wymierną nazywamy iloraz dwóch wielomianów. Całka funkcji wymiernej jest więc postaci: W (x) W (x) = an x n + a n x n +... + a x + a 0 b m x m + b m x m +...
Przedmiotowy system oceniania z języka angielskiego
Przedmiotowy system oceniania z języka angielskiego Nauczyciel: Justyna Lisiak Ocenianie osiągnięć edukacyjnych ucznia bieżąca klasyfikacyjnych wyrażona jest w stopniach wg następującej skali: a) stopień
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE VI
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE VI Uczniowie z obniżoną sprawnością intelektualną OCENA NIEDOSTATECZNA
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Składnia rachunku predykatów pierwszego rzędu
Początek Gramatyka Kwantyfikatory Poprawność Logika obliczeniowa Instytut Informatyki Początek Gramatyka Kwantyfikatory Poprawność Plan wykładu 1 Na (dobry) początek Zrozumieć słowa Oswoić znaki 2 Gramatyka
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
Logika. dr Agnieszka Figaj
Logika dr Agnieszka Figaj O czym to będzie? Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my zajmować się będziemy? Logika (grec. logos-oznacza rozum) Nauka normatywna, analizująca źródła poznania
Wykład nr 1 Techniki Mikroprocesorowe. dr inż. Artur Cichowski
Wykład nr 1 Techniki Mikroprocesorowe dr inż. Artur Cichowski ix jy i j {0,1} {0,1} Dla układów kombinacyjnych stan dowolnego wyjścia y i w danej chwili czasu zależy wyłącznie od aktualnej kombinacji stanów
Wymagania edukacyjne dla ucznia klasy siódmej SP z orzeczeniem PPP
Wymagania edukacyjne dla ucznia klasy siódmej SP z orzeczeniem PPP 3445.208.2017 KSZTAŁCENIE LITERACKIE I KULTUROWE Ocena dopuszczająca: Ocena dostateczna: Ocena dobra: Ocena bardzo dobra: klasyfikuje
PRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL
RACHUNEK PREDYKATÓW 7
PODSTAWOWE WŁASNOŚCI METAMATEMATYCZNE KRP Oczywiście systemy dedukcyjne dla KRP budowane są w taki sposób, żeby wszystkie ich twierdzenia były tautologiami; można więc pokazać, że dla KRP zachodzi: A A
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)
Logika dla archeologów Część 5: Zaprzeczenie i negacja
Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy
O gramatyce, logice, algorytmach i cywilizacji informatycznej
O gramatyce, logice, algorytmach i cywilizacji informatycznej Uzupełnienie do rozdziału II Logika a gramatyka 1. Nawiazanie do podziału wyrażeń języka na części mowy. Zwrot część mowy tym się tłumaczy,
Kartoteka testu W kręgu muzyki GH-A1(A4)
Kartoteka testu W kręgu muzyki GH-A(A) Nr zad....... 7. 8. Obszar standardów wymagań egzaminacyjnych Nazwa sprawdzanej umiejętności (z numerem standardu) Uczeń przenośnym. wyszukuje informacje zawarte
Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Istnieje wiele systemów aksjomatycznych
KLUCZ PUNKTOWANIA ZADAŃ
Egzamin maturalny maj 2009 JĘZYK ROSYJSKI POZIOM ROZSZERZONY KLUCZ PUNKTOWANIA ZADAŃ POZIOM ROZSZERZONY ZADANIA OTWARTE Zadanie 1. Poprawne odpowiedzi (0,5 pkt) Przetwarzanie tekstu 1.1. случае 1.2. частью
RÓWNOWAŻNOŚĆ METOD BADAWCZYCH
RÓWNOWAŻNOŚĆ METOD BADAWCZYCH Piotr Konieczka Katedra Chemii Analitycznej Wydział Chemiczny Politechnika Gdańska Równoważność metod??? 2 Zgodność wyników analitycznych otrzymanych z wykorzystaniem porównywanych
0. ELEMENTY LOGIKI. ALGEBRA BOOLE A
WYKŁAD 5() ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań Matematyka zbudowana jest z pierwotnych twierdzeń (nazywamy
Wprowadzenie do analizy składniowej. Bartosz Bogacki.
Wprowadzenie do analizy składniowej Bartosz Bogacki Bartosz.Bogacki@cs.put.poznan.pl Witam Państwa. Wykład, który za chwilę Państwo wysłuchają dotyczy wprowadzenia do analizy składniowej. Zapraszam serdecznie