Logika Stosowana. Wykład 2 - Logika modalna Część 1. Marcin Szczuka. Instytut Matematyki UW. Wykład monograficzny, semestr letni 2016/2017
|
|
- Błażej Jarosz
- 6 lat temu
- Przeglądów:
Transkrypt
1 Logika Stosowana Wykład 2 - Logika modalna Część 1 Marcin Szczuka Instytut Matematyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana / 28
2 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
3 Modalność (Modality) (za Wikipedią) In linguistics, modals are expressions broadly associated with notions of possibility and necessity. Modals have a wide variety of interpretations which depend not only upon the particular modal used, but also upon where the modal occurs in a sentence, the meaning of the sentence independent of the modal, the conversational context, and a variety of other factors. For example, the interpretation of an English sentence containing the modal must can be that of a statement of inference or knowledge (roughly, epistemic) or a statement of how something ought to be (roughly, deontic). The following pair of examples illustrate the interpretative difference: 1 John didn t show up for work. He must be sick. 2 John didn t show up for work. He must be fired. Modal logic is a type of formal logic that extends the standards of formal logic to include the elements of modality (for example, possibility and necessity). Traditionally, there are three modes or moods or modalities represented by modal logic, namely, possibility, probability, and necessity. Marcin Szczuka (MIMUW) Logika Stosowana / 28
4 Logiki modalne (za Wikipedią) Logika modalna, obok klasycznych spójników logicznych, posiada funktory modalne. Funktor modalny jest to funkcja, która przypisuje wartości logiczne termom, które same mogą zawierać funktory modalne. Cechą charakterystyczną funktorów modalnych jest fakt, że nie są ekstensjonalne, czyli funktor może przyporządkowywać inną wartość dwóm równoważnym zdaniom. Najczęściej spotykane, klasyczne operatory modalne to konieczność i możliwość. Logika modalna uprawiana była już przez Arystotelesa jako sylogistyka zdań modalnych. Ten bardzo rozwinięty w logice średniowiecznej system był bardzo zbliżony do sylogistyki zdań asertorycznych, z tą różnicą, że przynajmniej jedna przesłanka każdego sylogizmu musiała być zdaniem modalnym, tj. problematycznym (zawierającym funktor możliwości) lub apodyktycznym (zawierającym funktor konieczności). Niekiedy termin logika modalna rozumie się szerzej, włączając w jego obręb takie podejścia jak: logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów. Marcin Szczuka (MIMUW) Logika Stosowana / 28
5 Język logiki modalnej Język (zdaniowej) logiki modalnej jest rozszerzeniem języka rachunku zdań. Dodajemy zestaw unarnych operatorów modalnych. Początkowo w logikach modalnych rozpatrywano tylko jeden taki operator, (i dualny do niego ). Wygodniej jest od razu wprowadzać rodzinę operatorów i etykietowanych elementami zbioru I (i I), nazywanego sygnaturą. Język logiki modalnej nad sygnaturą I tworzą: Zbiór zmiennych zdaniowych V AR = {p, q, r,...} Spójniki rachunku zdań: Rodzina spójników modalnych,,,,, { i : i I} wraz z nawiasami ( i ) do określenia kolejności obliczeń. Marcin Szczuka (MIMUW) Logika Stosowana / 28
6 Formuły modalne Formuły w języku modalnym nad sygnaturą I są definiowane rekurencyjnie następująco: [Formuły atomowe:] Zmienne zdaniowe ze zbioru V AR = {p, q, r,...} oraz, są formułami. [Formuły zdaniowe:] Jeśli φ i ψ są formułami, to φ, (φ ψ), (φ ψ), (φ ψ) są formułami. [Formuły modalne:] Jeśli φ jest formułą, to i φ dla każdej etykiety i I też jest formułą. Zbiór wszystkich formuł (w tym modalnych) ponownie oznaczamy przez F ORM. Przykładem formuły modalnej jest 1 ((p q) 2 p) p Marcin Szczuka (MIMUW) Logika Stosowana / 28
7 Systemy modalne Pierwsze badania nad logiką modalną dotyczą języka z jednym spójnikiem. Wówczas formuła φ może być różnie interpretowana np.: Koniecznie, że φ zachodzi Wiadomo, że φ... Operator modalny może być traktowany jako kwantyfikator ogólny. Możemy wprowadzić dodatkowy operator analogiczny do kwantyfikatora szczególnego i przez: i φ = def i φ który może być czytany: możliwe, że φ zachodzi. Przykładem binarnej logiki modalnej jest logika temporalna, która ma dwa operatory modalne: oraz. Mogą być one interpretowane jako operatory temporalne, tzn. formuła φ jest czytana jako φ zajdzie w przyszłości a formuła φ jest czytana jako φ zaszło w przeszłości. Marcin Szczuka (MIMUW) Logika Stosowana / 28
8 Wyróżnione formuły modalne Pewne rodziny formuł mają szczególne znaczenie w logice modalnej. Przyjmujemy te oznaczenia z pewnych historycznych powodów. Są to: D(φ) : φ φ T(φ) : φ φ B(φ) : φ φ 4(φ) : φ φ 5(φ) : φ φ P(φ) : φ φ Q(φ) : φ φ R(φ) : φ φ G(φ) : φ φ L(φ) : T(φ) φ M(φ) : φ φ Ponadto wyróżniamy regułę rozdzielności konieczności względem implikacji K(φ, θ) : (φ θ) ( φ θ) Marcin Szczuka (MIMUW) Logika Stosowana / 28
9 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
10 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
11 Struktury relacyjne, stany, przejścia W logice zdaniowej do zbudowania semantyki wystarczał zbiór dwuelementowy B = {0, 1}. Przypadek modalny jest bardziej zagmatwany, gdyż musimy odzwierciedlić modalność, czyli określać znaczenie formuł tak, by odpowiadało to wykorzystaniu operatorów modalnych. Dopiero w latach Saul Kripke spopularyzował wykorzystanie skierowanych struktur relacyjnych (grafów skierowanych) jako modelu dla systemów logiki modalnej. Podejście Kripkego pozwoliło na znacznie efektywniejsze i bardziej przejrzyste interpretowanie logiki modalnej. Do tego stopnia, że przekształcił logiki modalne w dziedzinę zajmująca się badaniem i opisywaniem struktur za pomocą języka formuł (modalnych). Definicja model Kripkego Modelem Kripkego nazywamy parę K = Γ, val, gdzie Γ = (W, E) jest skierowanym grafem określającym relację przejścia między stanami (lub światami) ze zbioru W, a val : W V AR {0, 1} jest wartościowaniem. Marcin Szczuka (MIMUW) Logika Stosowana / 28
12 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
13 Semantyka strukturalna Semantyka formuły φ w modelu K i w stanie q W jest definiowana przez relację (K, val, s) = φ pomiędzy: modelem A wartościowaniem val stanem s (element struktury K) formułą modalną φ. Jeśli model K jest ustalony, to będziemy pisali s = φ dla uproszczenia. Semantyka, podobnie jak w przypadku zdaniowym, będzie określana jako funkcja przypisująca formule jej wartość logiczną. Tym razem jednak, funckcja ta będzie będzie zależała także od stanu (wierzchołka, miejsca, swiata) w strukturze relacyjnej (grafie). W dalszej części będzie nam potrzebne pojęcie osiągalności. Stan (wierzchołek) q W jest osiągalny ze stanu s W jeśli sq E. Przez R(s) oznaczymy zbiór wszystkich stanów w W osiągalnych ze stanu (wierzchołka) s. Marcin Szczuka (MIMUW) Logika Stosowana / 28
14 Semantyka strukturalna definicja Dla każdego stanu s W, definiujemy przez indukcję względem konstrukcji formuły φ funkcję [.] s : F ORM {0, 1} taką, że: (Const) [ ] s = 1; [ ] s = 0 (Var) dla zmiennych p V AR [p] s = val(s, p) ( ) dla dowolnej formuły φ F ORM [ φ] s = 1 [φ] s ( ) dla dowolnych formuł φ, ψ F ORM [φ ψ ] s = [φ] s [ψ ] s gdzie jest dowolnym operatorem logicznym (,,,...) ( ) dla dowolnej formuły φ F ORM [ φ] s = [φ] s s R(s) gdzie R(s) jest zbiorem stanów osiągalnych ze stanu s. Marcin Szczuka (MIMUW) Logika Stosowana / 28
15 Modalna konsekwencja logiczna (semantyczna) Modalna relacja konsekwencji logicznej Relacja s = φ zachodzi wtedy i tylko wtedy, gdy [φ] s = 1. Formalnie, relacja K, val, s = φ jest odczytywana jako s wymusza φ. Możemy również rozumieć to jako: φ jest spełniona w modelu (K, val, s); φ jest prawdziwa w stanie s; Łatwo można się przekonać, że zachodzi następujące twierdzenie: Jeśli formuła φ jest tautologią rachunku zdań, to φ jest spełniona we wszystkich stanach modelu Kripke go. Marcin Szczuka (MIMUW) Logika Stosowana / 28
16 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
17 Przykład - semantyka formuły modalnej Załóżmy, że V AR = {p}. Rozpatrzmy prosty model Kripke go o (4) stanach {a, b, c, d} i osiągalności zadanej przez graf poniżej: a b d c Marcin Szczuka (MIMUW) Logika Stosowana / 28
18 Przykład wartościowanie Rozpatrzmy następujące wartościowanie: val(a, p) = val(c, p) = 1; val(b, p) = val(d, p) = 0; Bezpośrednio z tego wartościowania mamy: a = p b = p c = p d = p Dalej, z grafu mamy: R(a) = {b}, R(b) = {c}, R(c) = {a}, R(d) = {a, c} Stąd prawdziwość semantyczna zachodzi dla następujących formuł: a = p b = p d = p Marcin Szczuka (MIMUW) Logika Stosowana / 28
19 Przykład c.d. Możemy teraz przerysować przykładowy graf razem z formułami prawdziwymi semantycznie w odpowiednich wierzchołkach: p, p a b p, p p, p d c p, p Marcin Szczuka (MIMUW) Logika Stosowana / 28
20 Przykład - formuły z podwójną modalnością Rozpatrzmy formuły o dwóch operatorach modalnych. Zauważmy, że: a = p b = p c = p Ponadto stan d jest bardzo interesujący, gdyż startując z niego można dojść do wszystkich innych stanów następująco: d a b c a... c a b c... Marcin Szczuka (MIMUW) Logika Stosowana / 28
21 Przykład c.d. Dla stanu d mamy: d = p d = 2 p d = 3 p d = 4 p itd... Dla stanu a mamy zaś tylko jedną ścieżkę o długości 3: a b c a Zatem dla każdej formuły φ: a = 3 φ a = φ czyli a = ( 3 φ φ) Z tego samego powodu, formuła ( 3 φ φ) jest pradziwa w stanach b i c. Stąd możemy pokazać, że d = ( 4 φ φ) Marcin Szczuka (MIMUW) Logika Stosowana / 28
22 Operator modalny Stwierdzenie semantyka Niech (K, val) będzie modelem Kripke go. Wówczas a = φ ( x R(a))[x = φ] Dowód: a = φ a = φ [a = φ] ( x R(a))[x = φ] ( x R(a)) [x = φ] ( x R(a))[x = φ] Marcin Szczuka (MIMUW) Logika Stosowana / 28
23 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
24 Trzy relacje spełnialności W odróżnieniu od przypadku zdaniowego, w systemach modalnych wprowadzimy nie jedną, a aż trzy różne relacje spełnialności: Są one zdefiniowane następująco: = p = v = u Relacja punktowa = p jest po prostu relacją = z poprzedniej sekcji. Relacja = p oznacza model punktowy (stanowy) z wartościowaniem. Relacja = v jest stosowana dla modeli z wartościowaniem. Jest ona definiowana z relacji punktowej poprzez uogólnienia stanów, czyli K, val = v φ ( s W ) {K, val, s = φ} Relację = u nazywamy spełnialnością strukturalną, gdyż jest ona definiowana z relacji = v następująco K = u φ ( val) {K, val = v φ} Marcin Szczuka (MIMUW) Logika Stosowana / 28
25 Przykład trzy relacje Wróćmy do modelu Kripkego wykorzystanego we wcześniejszym przykładzie. Zachodzi dla niego: K, val = v P 3 P ale (np. dla wartościowania val(p, {a, b, c, d} = {0, 0, 0, 1})) mamy nieprawda, że K = u P 3 P Za to relacja spełnialności strukturalnej zachodzi dla K = u 4 P P Marcin Szczuka (MIMUW) Logika Stosowana / 28
26 Plan wykładu 1 Język logiki modalnej 2 Semantyka stukturalna, modalna konsekwencja Modele Kripkego Semantyka modalna 3 Przykład 4 Trzy relacje spełnialności Własności relacji spełnialności Marcin Szczuka (MIMUW) Logika Stosowana / 28
27 Własności spełnialności strukturalnej Jeżeli dana struktura relacyjna (graf) K = (W, E) jest odpowiednio: 1 zwrotna (reflexive) 2 przechodnia (transitive) 3 dyskretna (pathetic) 4 gęsta (dense) to, w każdej sytuacji następujące formuły 1 φ φ 2 φ 2 φ 3 φ φ 4 2 φ φ są odpowiednio spełnialne w K (w relacji = u ) Marcin Szczuka (MIMUW) Logika Stosowana / 28
28 Rodzaje relacji Relacja gęsta Relacja binarna R jest gęsta jeśli dla każdej pary (x, y) R- istnieje z takie, że (x, z) R i (z, y) R. Formalnie: x y xry ( z xrz zry). Przykładowo, ostry porządek częściowy jest porządkiem gęstym wtedy i tylko wtedy gdy jest relacją gęstą. Marcin Szczuka (MIMUW) Logika Stosowana / 28
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
Bardziej szczegółowoLogika 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
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ółowoLogika Stosowana. Wykład 2 - Logika modalna Część 3. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2017/2018
Logika Stosowana Wykład 2 - Logika modalna Część 3 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2017/2018 Marcin Szczuka (MIMUW) Logika Stosowana 2018 1 / 36 Plan wykładu
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 Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
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ółowoParadygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
Bardziej szczegółowoLOGIKA STOSOWANA Wykład monograficzny Semestr letni, 2016/2017
LOGIKA STOSOWANA Wykład monograficzny Semestr letni, 2016/2017 Nguyen Hung Son, Marcin Szczuka Instytut Informatyki UW Warszawa, ul.banacha 2 szczuka@mimuw.edu.pl 2 Spis treści 1 Rachunek zdań 5 1.1 Język
Bardziej szczegółowoSemantyka rachunku predykatów
Relacje Interpretacja Wartość Spełnialność Logika obliczeniowa Instytut Informatyki Relacje Interpretacja Wartość Plan Plan Relacje O co chodzi? Znaczenie w logice Relacje 3 Interpretacja i wartościowanie
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ółowoAdam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
Bardziej szczegółowovf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).
6. Wykład 6: Rachunek predykatów. Język pierwszego rzędu składa się z: symboli relacyjnych P i, i I, gdzie (P i ) oznaczać będzie ilość argumentów symbolu P i, symboli funkcyjnych f j, j J, gdzie (f j
Bardziej szczegółowoAlgebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie
3. Wykłady 5 i 6: Semantyka klasycznego rachunku zdań. Dotychczas rozwinęliśmy klasyczny rachunek na gruncie czysto syntaktycznym, a więc badaliśmy metodę sprawdzania, czy dana formuła B jest dowodliwa
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ół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ółowoSchematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
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ółowoAndrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Bardziej szczegółowoParadoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania
Logika w zastosowaniach kognitywistycznych Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl
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ółowoKultura 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
Bardziej szczegółowoLogiki modalne. notatki z seminarium. Piotr Polesiuk
Logiki modalne notatki z seminarium Piotr Polesiuk 1 Motywacja i historia Logika modalna rozszerza logikę klasyczną o modalności takie jak φ jest możliwe, φ jest konieczne, zawsze φ, itp. i jak wiele innych
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ół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ół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ółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
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ółowoStruktury formalne, czyli elementy Teorii Modeli
Struktury formalne, czyli elementy Teorii Modeli Szymon Wróbel, notatki z wykładu dra Szymona Żeberskiego semestr zimowy 2016/17 1 Język 1.1 Sygnatura językowa Sygnatura językowa: L = ({f i } i I, {P j
Bardziej szczegółowoWprowadzenie do logiki epistemicznej. Przekonania i wiedza
Logika w zastosowaniach kognitywistycznych Wprowadzenie do logiki epistemicznej. Przekonania i wiedza (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl wersja beta 1.1 (na podstawie:
Bardziej szczegółowoRACHUNEK 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
Bardziej szczegółowoAndrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
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ół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ół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ółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (3) Logika CTL Paweł Głuchowski, Politechnika Wrocławska wersja 2.2 Treść wykładu Charakterystyka logiki CTL Czas w Computation
Bardziej szczegółowoMetoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
Bardziej szczegółowoLogika intuicjonistyczna semantyka Kripke go
Logika intuicjonistyczna semantyka Kripke go Definicja 1 Strukturą częściowo uporządkowaną (ang. partially ordered set, w skrócie poset) nazywamy układ (W, ), gdzie W to dowolny zbiór niepusty, zaś jest
Bardziej szczegółowoSemantyka rachunku predykatów pierwszego rzędu. Dziedzina interpretacji. Stałe, zmienne, funkcje. Logika obliczeniowa.
Logika obliczeniowa Instytut Informatyki 1 Interpretacja i wartościowanie Dziedzina interpretacji Interpretacja Wartościowanie 2 Wartość formuły Wartość termu Wartość logiczna formuły Własności 3 Logiczna
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ółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (2) Logika LTL Paweł Głuchowski, Politechnika Wrocławska wersja 2.1 Treść wykładu Charakterystyka logiki LTL Czas w Linear
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ół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ółowoRachunek predykatów. Formuły rachunku predykatów. Plan wykładu. Relacje i predykaty - przykłady. Relacje i predykaty
Rachunek predykatów Wykład 4 Plan wykładu Relacje i predykaty Formuły rachunku predykatów Interpretacje Logiczna równoważność Metoda tabel Modele skończone i nieskończone Rozstrzygalność Relacje i predykaty
Bardziej szczegółowoMetoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
Bardziej szczegółowoAndrzej 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,
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ół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ół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ół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ł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ółowo1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14
Wstęp do matematyki Matematyka, I rok. Tomasz Połacik Spis treści 1 Logika................................. 1 2 Zbiory................................. 7 3 Pewnik wyboru............................ 10
Bardziej szczegółowoDefinicja: alfabetem. słowem długością słowa
Definicja: Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy nazywać słowem a liczbę elementów tego ciągu nazywamy długością słowa. Na
Bardziej szczegółowoDefinicja: zmiennych zdaniowych spójnikach zdaniowych:
Definicja: Alfabet języka logiki zdań składa się z nieskończonego (najczęściej zakładamy: przeliczalnego) zbioru P, o którym myślimy jak o zbiorze zmiennych zdaniowych i skończonego zbioru symboli, o których
Bardziej szczegółowoLogika Matematyczna (10)
Logika Matematyczna (10) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Rezolucja w KRZ Jerzy Pogonowski (MEG) Logika Matematyczna (10) Rezolucja w KRZ 1 / 39 Plan
Bardziej szczegółowoLogika binarna. Prawo łączności mówimy, że operator binarny * na zbiorze S jest łączny gdy (x * y) * z = x * (y * z) dla każdego x, y, z S.
Logika binarna Logika binarna zajmuje się zmiennymi mogącymi przyjmować dwie wartości dyskretne oraz operacjami mającymi znaczenie logiczne. Dwie wartości jakie mogą te zmienne przyjmować noszą przy tym
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ół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ółowoMetalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM
Metalogika (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Metalogika (1) Uniwersytet Opolski 1 / 21 Wstęp Cel: wprowadzenie
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 I. Wykład 4. Semantyka Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę
Bardziej szczegółowoLogika Stosowana. Wykład 5 - Zbiory i logiki rozmyte Część 1. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 5 - Zbiory i logiki rozmyte Część 1 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 36 Plan
Bardziej szczegółowoInternet Semantyczny i Logika II
Internet Semantyczny i Logika II Ontologie Definicja Grubera: Ontologia to formalna specyfikacja konceptualizacji pewnego obszaru wiedzy czy opisu elementów rzeczywistości. W Internecie Semantycznym językiem
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ółowoInternet Semantyczny. Logika opisowa
Internet Semantyczny Logika opisowa Ontologie Definicja Grubera: Ontologia to formalna specyfikacja konceptualizacji pewnego obszaru wiedzy czy opisu elementów rzeczywistości. W Internecie Semantycznym
Bardziej szczegółowoMetody 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...
Bardziej szczegółowoLogika 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
Bardziej szczegółowo0. 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
Bardziej szczegółowoKlasyczny 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
Bardziej szczegółowoDefinicja: zmiennych zdaniowych spójnikach zdaniowych:
Definicja: Alfabet języka logiki zdań składa się z nieskończonego (najczęściej zakładamy: przeliczalnego) zbioru P, o którym myślimy jak o zbiorze zmiennych zdaniowych i skończonego zbioru symboli, o których
Bardziej szczegółowoRozstrzygalność logiki modalnej
, a FO, a Guarded fragment Rozstrzygalność logiki modalnej, a logika pierwszego rzędu 13.05.2009 / , a FO, a Guarded fragment Spis treści 1 Definicja Model Checking Spełnialność 2, a FO Zamiana na FO Złożoność
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ół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ółowoWykład ze Wstępu do Logiki i Teorii Mnogości
Wykład ze Wstępu do Logiki i Teorii Mnogości rok ak. 2016/2017, semestr zimowy Wykład 1 1 Wstęp do Logiki 1.1 Rachunek zdań, podstawowe funktory logiczne 1.1.1 Formuła atomowa; zdanie logiczne definicje
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ół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ółowoMonoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.
3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy
Bardziej szczegółowoIII rok kognitywistyki UAM,
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 14: POWTÓRKA III rok kognitywistyki UAM, 2016 2017 Dzisiejszy wykład w całości poświęcony będzie omówieniu przykładowych zadań, podobnych do
Bardziej szczegółowoAlgebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i
Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i A (symbol F i oznacza ilość argumentów funkcji F i ). W rozważanych przez nas algebrach
Bardziej szczegółowoRachunek zdań - semantyka. Wartościowanie. ezyków formalnych. Semantyka j. Logika obliczeniowa. Joanna Józefowska. Poznań, rok akademicki 2009/2010
Logika obliczeniowa Instytut Informatyki Poznań, rok akademicki 2009/2010 1 formu l rachunku zdań Wartościowanie i sta le logiczne Logiczna równoważność 2 Model formu ly Formu la spe lniona Formu la spe
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ółowoElementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań
Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Micha l Ziembowski m.ziembowski@mini.pw.edu.pl www.mini.pw.edu.pl/ ziembowskim/ October 2, 2016 M. Ziembowski (WUoT) Elementy logiki i teorii
Bardziej szczegółowoO pewnej logicznej analizie pojęć konieczność i istnienie 1
Studia Philosophica Wratislaviensia vol. VI, fasc. 1 (2011) MAREK MAGDZIAK Uniwersytet Wrocławski O pewnej logicznej analizie pojęć konieczność i istnienie 1 1. Historia logicznej analizy pojęcia konieczności
Bardziej szczegółowoMETODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
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ółowoLogika intuicjonistyczna
Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.
Bardziej szczegółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (1) Wprowadzenie do logiki temporalnej Paweł Głuchowski, Politechnika Wrocławska wersja 2.2 Program wykładów 1. Wprowadzenie
Bardziej szczegółowoDystrybucje, wiadomości wstępne (I)
Temat 8 Dystrybucje, wiadomości wstępne (I) Wielkości fizyczne opisujemy najczęściej przyporządkowując im funkcje (np. zależne od czasu). Inną drogą opisu tych wielkości jest przyporządkowanie im funkcjonałów
Bardziej szczegółowoW pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się
1 Logika Zdanie w sensie logicznym, to zdanie oznajmujące, o którym da się jednoznacznie powiedzieć, czy jest fałszywe, czy prawdziwe. Zmienna zdaniowa- to symbol, którym zastępujemy dowolne zdanie. Zdania
Bardziej szczegółowoTrzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Bardziej szczegółowoLogika 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:
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ółowoPodstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik
Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik 9 Relacje 9.1 Podstawowe pojęcia 9.1 Definicja (Relacja). Relacją (binarną) nazywamy dowolny podzbiór produktu
Bardziej szczegółowoRekurencyjna przeliczalność
Rekurencyjna przeliczalność Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Rekurencyjna przeliczalność Funkcje rekurencyjne
Bardziej szczegółowoO pewnych związkach teorii modeli z teorią reprezentacji
O pewnych związkach teorii modeli z teorią reprezentacji na podstawie referatu Stanisława Kasjana 5 i 12 grudnia 2000 roku 1. Elementy teorii modeli Będziemy rozważać język L składający się z przeliczalnej
Bardziej szczegółowoDEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.
RELACJE Relacje 1 DEFINICJA Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B. Relacje 2 Przykład 1 Wróćmy do przykładu rozważanego
Bardziej szczegółowoLogika 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
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ółowo