Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Wielkość: px
Rozpocząć pokaz od strony:

Download "Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0"

Transkrypt

1 Ć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 zmiennych zdaniowych, wartość logiczna formuły przy danym wartościowaniu, tautologia, kontrtautologia. Wartości logiczne: Prawda ( 1 ), Fałsz ( 0 ) DEF. Zdanie w sensie logicznym jest to zdanie oznajmujące, które jest prawdziwe lub fałszywe. Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0 DEF. Spójniki logiczne są to wyrażenia służące do budowy zdań złożonych ze zdań prostych. Podstawowe spójniki logiczne: nazwa wyrażenie symbol kontekst negacja nieprawda, że p koniunkcja i p q alternatywa lub p q implikacja jeżeli..., to p q równoważność wtedy i tylko wtedy p q Symbole p, q, r, s (także z indeksami) reprezentują dowolne zdania i nazywamy je zmiennymi zdaniowymi. Własność ekstensjonalności: Wartość logiczna zdania złożonego, zbudowanego za pomocą spójnika logicznego, zależy wyłącznie od rodzaju spójnika logicznego i wartości logicznych zdań prostych Tę zależność opisują tablice prawdziwościowe spójników logicznych: p p Negacja zdania prawdziwego jest zdaniem fałszywym. Negacja zdania fałszywego jest zdaniem prawdziwym. 1

2 Zdanie p nazywamy argumentem negacji w zdaniu p. p q p q p q p q p q Zdania p, q nazywamy argumentami koniunkcji w zdaniu p q i podobnie dla,,. W zdaniu p q, zdanie p nazywamy poprzednikiem a zdanie q następnikiem implikacji. Poprawnie zbudowane schematy zdań nazywamy formułami KRZ. Wyrażenia są to skończone ciągi symboli (zmiennych zdaniowych i spójników logicznych). DEF. Formułami KRZ nazywamy wyrażenia określone przez następujące warunki indukcyjne: a) każda zmienna zdaniowa jest formułą, b) jeżeli wyrażenia A, B są formułami, to wyrażenia ( A), ( A B), ( A B), ( A B), ( A B) są formułami. Przykład: p, q (a) ( p), ( p q) (b) p p q (b) (( ) ( )) W praktyce opuszczamy niektóre nawiasy: 1) Opuszczamy parę zewnętrznych nawiasów p p q p Np. ( ) ( ) zamiast (( ) ( p q) ) 2) przyjmujemy, że siła wiązania spójników maleje od lewej do prawej Np. p ( p q) zamiast ( p) ( p q) p q q p zamiast ( p q) ( q p). 2

3 DEF. Niech V będzie pewnym zbiorem zmiennych zdaniowych. Wartościowaniem w : V 0,1. nazywamy dowolną funkcję { } Mniej formalnie: wartościowanie jest to przyporządkowanie wartości logicznych pewnym zmiennym zdaniowym Zamiast w ( p) = 0, w( p) = 1 piszemy p = 0, p = 1. Każde wartościowanie w zbioru V jednoznacznie określa wartość logiczną dowolnej formuły KRZ, której wszystkie zmienne zdaniowe należą do V. Literami A, B, C,... oznaczamy dowolne formuły KRZ. Wartość logiczną formuły A dla wartościowania w oznaczamy przez w(a) i wyznaczamy korzystając z tabel prawdziwościowych. Podobnie, jak dla zmiennych zdaniowych, zamiast w ( A) = 0, w( A) = 1, piszemy A = 0, A = 1. Wyznaczanie wartości logicznej zdania złożonego. Jeżeli nieprawda, że 5 < 4, to jeżeli 5< 4, to 2 < 1 lub 2 < 3. I. Tworzymy schemat logiczny tego zdania p: 5 < 4 q: 2 < 1 r: 2 < 3 p ( p q r) II. Ustalamy wartości logiczne zdań prostych. p = 0, q = 0, r = 1 III. Podstawiamy te wartości za zmienne p, q, r i przeprowadzamy obliczenia zgodnie z tablicami prawdziwościowymi = = 1 1 = ( ) ( ) 1 Odp. Zdania jest prawdziwe. 3

4 Tablica prawdziwościowa formuły. Niech { p, p2,, } 1 K p n będzie zbiorem zmiennych zdaniowych występujących w formule A. n Istnieje 2 różnych wartościowań tego zbioru. Dla formuły A wyznaczamy jej wartość logiczną dla każdego z tych wartościowań tworząc tabelę prowdziwościową formuły A Przykład: A = p q p r V = p, q, r { } Liczba wartościowań = 2 3 = 8 p q r p q p q p r p q p r DEF. Tautologią KRZ nazywamy formułę KRZ, która przyjmuje wartość logiczną 1 dla każdego wartościowania zmiennych występujących w tej formule. Tautologie KRZ są schematami zdań logicznie prawdziwych, tzn. prawdziwych na mocy samej logiki, niezależnie od rzeczywistej wartości logicznej zdań składowych. DEF. Kontrtautologią KRZ nazywamy formułę KRZ, która przyjmuje wartość logiczną 0 dla każdego wartościowania zmiennych występujących w tej formule. TW. O podstawianiu w tautologiach Jeżeli A jest tautologią KRZ, a formuła A powstaje z A przez podstawienie za wszystkie wystąpienia pewnej zmiennej zdaniowej dowolnej formuły, to formuła A jest tautologią. 4

5 Przykład. 1 Olsztyn leży nad Łyną lub nieprawda, że Olsztyn leży nad Łyną. zdanie logicznie prawdziwe schemat: p p p = 0 p p = 0 0 = 0 1 = 1 p = 1 p p = 1 1 = 1 0 = 1 Przykład. 2 A = p p q. Wykażemy, że A jest tautologią. Niech ( ) Sposób 1. Wprost. Tworzymy tabelę prawdziwościową formuły A. A = V =, p ( p q) { p q} Liczba wartościowań = 2 2 = 4 p q p q p p q Dla każdego wartościowania zmiennych p i q formuła A jest prawdziwa, zatem jest tautologią. Sposób 2. Nie wprost. Zakładamy, że formuła A nie jest tautologią. Wtedy istnieje wartościowanie, dla którego A = 0. Szukamy tego wartościowania. 1) p ( p q) = 0 Implikacja jest fałszywa tylko w przypadku, gdy poprzednik jest prawdziwy, a następnik fałszywy. 2) p = 1 i p q = 0 Alternatywa jest fałszywa, gdy oba zdania składowe są fałszywe 5

6 3) p = 0 i q = 0 Otrzymaliśmy sprzeczność: p = 1 i p = 0. Oznacza to, że nie istnieje wartościowanie, przy którym A = 0. Zatem A jest tautologią. Schematycznie: p p 1) 0 2) 1 0 3) 0 0 sprzeczność q 6

7 Prawo wyłączonego środka p p (tertium non datur) Ważne tautologie KRZ Prawo sprzeczności ( p p ) Prawo podwójnej negacji p Prawo transpozycji ( p q) ( q p) Prawo sylogizmu warunkowego ( p q) ( q r) ( p r) p Prawa algebraiczne. Prawa łączności (( p q) r) ( p ( q r)) (( p q) r) ( p ( q r)) (( p q) r) ( p ( q r)) Prawa przemienności ( p q) ( q p) ( p q) ( q p) ( p q) ( q p) Prawa rozdzielczości ( p ( q r)) (( p q) ( p r)) Prawa idempotentności ( p p) p ( p ( q r)) (( p q) ( p r)) ( p p) p Prawa de Morgana ( p q) ( p q ) Prawa definiowania ( p q) ( p q ) ( p q) ( p q) ( p q) ( p q) ( q p) ( p q) ( p q) ( p q) Prawa z ustalonym argumentem p 1 p 1 1 p 0 0 p p p ( 1 p) p ( p 1) 1 0 ( 0 p ) 1 ( p 0 ) p 7

8 Ćwiczenie 1: wiadomości i umiejętności 1. Po ćwiczeniu 1 student powinien znać definicje pojęć podanych w nagłówku ćwiczenia 2. Student powinien posiadać następujące umiejętności: zapisywać konkretne zdania języka naturalnego za pomocą symboliki logicznej KRZ oraz odczytywać zdania zapisane z użyciem tej symboliki; sprawdzać, czy dane wyrażenie zapisane w języku KRZ, tzn. z użyciem zmiennych zdaniowych i spójników zdaniowych jest poprawną formułą KRZ; wyznaczać wartość logiczną formuły dla danego wartościowania zmiennych zdaniowych występujących w tej formule; wyznaczać wartości logiczne konkretnych zdań złożonych według schematu: - utworzyć schemat logiczny zdania - wyznaczyć wartości logiczne prostych zdań składowych (na podstawie posiadanej wiedzy przedmiotowej) - wyznaczyć wartość całego zdania korzystając z tablic prawdziwościowych sprawdzać, czy dana formuła (schemat zdaniowy) jest tautologią (kontrtautologią): a) wprost - poprzez utworzenie tablicy prawdziwościowej tej formuły (inaczej: metodą tablicową lub zero-jedynkową), b) nie wprost zakładając, że badana formuła nie jest tautologią i dochodząc do sprzeczności. 8

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ń 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ółowo

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),

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

Bardziej szczegółowo

Matematyka ETId Elementy logiki

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,

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

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

Bardziej szczegółowo

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Ziemia 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ółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

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

Bardziej szczegółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (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ółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

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

Bardziej szczegółowo

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. 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ółowo

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

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"

Bardziej szczegółowo

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

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ć.

Bardziej szczegółowo

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 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ółowo

Kultura logiczna Klasyczny rachunek zdań 1/2

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

Bardziej szczegółowo

Rachunek zdao i logika matematyczna

Rachunek 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ółowo

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych

Bardziej szczegółowo

Rachunek logiczny. 1. Język rachunku logicznego.

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

Bardziej szczegółowo

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? 2 Język Klasycznego Rachunku Zdań syntaktyka 3 Język

Bardziej szczegółowo

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. Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność

Bardziej szczegółowo

Lista 1 (elementy logiki)

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

Bardziej szczegółowo

Adam Meissner.

Adam 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ółowo

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

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ź

Bardziej szczegółowo

Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań

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ą?

Bardziej szczegółowo

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Logika 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ółowo

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

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:

Bardziej szczegółowo

Wprowadzenie do logiki Pojęcie wynikania

Wprowadzenie 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ółowo

Elementy logiki. Zdania proste i złożone

Elementy logiki. Zdania proste i złożone Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie

Bardziej szczegółowo

LOGIKA 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 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ółowo

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

Rachunek 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ółowo

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych

Bardziej szczegółowo

1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów

1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów 1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów Logika matematyczna, dział matematyki zajmujący się badaniem własności wnioskowania (dowodzenia)

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

Andrzej 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 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ółowo

1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:

1 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ółowo

Definicja: alfabetem. słowem długością słowa

Definicja: 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ółowo

Andrzej 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 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ółowo

Kultura logicznego myślenia

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

Bardziej szczegółowo

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Ć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ółowo

14. Grupy, pierścienie i ciała.

14. 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ółowo

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 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ółowo

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania

Zastosowanie 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ółowo

Wykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0

Wykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0 Wykład I Literatura Podręczniki 1. G. M. Fitherholz Rachunek różniczkowy i całkowy 2. W. Żakowski Matematyka tom I Zbiory zadań 1. W. Krysicki, L. Włodarski Analiza matematyczna w zadaniach tom I i II

Bardziej szczegółowo

Wstęp do Techniki Cyfrowej... Algebra Boole a

Wstęp do Techniki Cyfrowej... Algebra Boole a Wstęp do Techniki Cyfrowej... Algebra Boole a Po co AB? Świetne narzędzie do analitycznego opisu układów logicznych. 1854r. George Boole opisuje swój system dedukcyjny. Ukoronowanie zapoczątkowanych w

Bardziej szczegółowo

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

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

Bardziej szczegółowo

http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania

Bardziej szczegółowo

Drobinka semantyki KRP

Drobinka semantyki KRP Drobinka semantyki KRP Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Drobinka semantyki KRP Uniwersytet Opolski 1 / 48 Wstęp

Bardziej szczegółowo

1 Podstawowe oznaczenia

1 Podstawowe oznaczenia Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.

Bardziej szczegółowo

WSTĘP ZAGADNIENIA WSTĘPNE

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).

Bardziej szczegółowo

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

Metody 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ółowo

Rachunek zdań I i II rzędu

Rachunek zdań I i II rzędu Rozumowanie w systemach ekspertowych Instytut Informatyki, Uniwersytet Śląski, ul. Będzinska 39, Sosnowiec, Polska Tel (32) 2 918 381, Fax (32) 2 918 283 Wykład IV Teoretyczne podstawy rachunku predykatów

Bardziej szczegółowo

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące

Bardziej szczegółowo

Podstawy Automatyki. Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Instytut Automatyki i Robotyki

Podstawy Automatyki. Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych. dr inż. Jakub Możaryn. Instytut Automatyki i Robotyki Wykład 9 - Podstawy matematyczne automatyki procesów dyskretnych Instytut Automatyki i Robotyki Warszawa, 2015 Kody liczb całkowitych nieujemnych Kody liczbowe dzielimy na analityczne nieanalityczne (symboliczne)

Bardziej szczegółowo

Podstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki

Podstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki Wykład 13 - Układy bramkowe Instytut Automatyki i Robotyki Warszawa, 2015 Układy z elementów logicznych Bramki logiczne Elementami logicznymi (bramkami logicznymi) są urządzenia o dwustanowym sygnale wyjściowym

Bardziej szczegółowo

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

Liczba 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ółowo

Jak wnioskują maszyny?

Jak wnioskują maszyny? Jak wnioskują maszyny? Andrzej Szałas informatyka + 1 Plan wykładu Plan wykładu Modelowanie wnioskowania Wyszukiwanie, a wnioskowanie Klasyczny rachunek zdań Diagramy Venna Wprowadzenie do automatycznego

Bardziej szczegółowo

Semantyka rachunku predykatów pierwszego rzędu. Dziedzina interpretacji. Stałe, zmienne, funkcje. Logika obliczeniowa.

Semantyka 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ółowo

Logika Radosna 1. Jerzy Pogonowski. Semantyka KRZ. Zakład Logiki Stosowanej UAM

Logika Radosna 1. Jerzy Pogonowski. Semantyka KRZ. Zakład Logiki Stosowanej UAM Logika Radosna 1 Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Semantyka KRZ Jerzy Pogonowski (MEG) Logika Radosna 1 Semantyka KRZ 1 / 47 Wprowadzenie Cel Cel tych

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie 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ółowo

PODSTAWY LOGIKI I TEORII MNOGOŚCI

PODSTAWY LOGIKI I TEORII MNOGOŚCI Stefan Sokołowski PODSTAWY LOGIKI I TEORII MNOGOŚCI Inst Informatyki Stosowanej, PWSZ Elbląg, 2015/2016 Podstawy logiki i teorii mnogoci Wykład1,str1 Na http://studentpwszelblagpl/ stefan/dydaktyka/logteomno

Bardziej szczegółowo

Wykład 5. Metoda tabel analitycznych dla Klasycznego Rachunku Zdań

Wykład 5. Metoda tabel analitycznych dla Klasycznego Rachunku Zdań Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 5. Metoda tabel analitycznych dla Klasycznego Rachunku Zdań 1 Wprowadzenie Na tym wykładzie przyjmuję terminologię i

Bardziej szczegółowo

Logika. Michał Lipnicki. 8 października 2011. Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 8 października 2011 1 / 44

Logika. Michał Lipnicki. 8 października 2011. Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 8 października 2011 1 / 44 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 8 października 2011 Michał Lipnicki () Logika 8 października 2011 1 / 44 Zdania KRZ wprowadzenie Przedmiotem logiki klasycznej są tylko zdania oznajmujące,

Bardziej szczegółowo

Logika dla archeologów Część 5: Zaprzeczenie i negacja

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

Bardziej szczegółowo

zmienne zdaniowe zdania spójniki zdaniowe funktory zdaniotwórcze od jednego (negacja) lub dwóch argumentów zdaniowych (pozostałe spójniki)

zmienne zdaniowe zdania spójniki zdaniowe funktory zdaniotwórcze od jednego (negacja) lub dwóch argumentów zdaniowych (pozostałe spójniki) Odowiedzi (KRZ) 1. kategorie syntaktyczne zmienne zdaniowe zdania sójniki zdaniowe funktory zdaniotwórcze od jednego (negacja) lub dwóch argumentów zdaniowych (ozostałe sójniki) 2. a) Jeżeli to q i r.

Bardziej szczegółowo

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Egzamin 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ółowo

Zdarzenia losowe i prawdopodobieństwo

Zdarzenia losowe i prawdopodobieństwo Rozdział 1 Zdarzenia losowe i prawdopodobieństwo 1.1 Klasyfikacja zdarzeń Zdarzenie elementarne pojęcie aprioryczne, które nie może być zdefiniowane. Odpowiednik pojęcia punkt w geometrii. Zdarzenie elementarne

Bardziej szczegółowo

Arytmetyka liczb binarnych

Arytmetyka liczb binarnych Wartość dwójkowej liczby stałoprzecinkowej Wartość dziesiętna stałoprzecinkowej liczby binarnej Arytmetyka liczb binarnych b n-1...b 1 b 0,b -1 b -2...b -m = b n-1 2 n-1 +... + b 1 2 1 + b 0 2 0 + b -1

Bardziej szczegółowo

6. RÓWNOWAŻNOŚĆ LOGICZNA

6. RÓWNOWAŻNOŚĆ LOGICZNA 6. RÓWNOWAŻNOŚĆ LOGICZNA W rozdziale tym wprowadzimy pojęcie równoważności logicznej oraz metodę jej sprawdzania za pomocą matryc logicznych. Wprowadzimy też ważne, choć pozornie ulotne rozróżnienie między

Bardziej szczegółowo

PRZEWODNIK PO PRZEDMIOCIE

PRZEWODNIK PO PRZEDMIOCIE Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: przedmiot obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Logika matematyczna Mathematical Logic Poziom przedmiotu: II

Bardziej szczegółowo

Podstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki

Podstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki Wykład 13 - Układy bramkowe Instytut Automatyki i Robotyki Warszawa, 2015 Układy z elementów logicznych Bramki logiczne Elementami logicznymi (bramkami logicznymi) są urządzenia o dwustanowym sygnale wyjściowym

Bardziej szczegółowo

DODATEK 1: Wtedy h(α) = 1 oraz h(β) = 0. Jak pamiętamy ze szkoły, obraz sumy zbiorów jest sumą obrazów tych zbiorów. Mamy zatem:

DODATEK 1: Wtedy h(α) = 1 oraz h(β) = 0. Jak pamiętamy ze szkoły, obraz sumy zbiorów jest sumą obrazów tych zbiorów. Mamy zatem: DODATEK 1: DOWODY NIEKTÓRYCH TWIERDZEŃ DOTYCZACYCH SEMANTYKI KLASYCZNEGO RACHUNKU ZDAŃ 2.2. TWIERDZENIE O DEDUKCJI WPROST (wersja semantyczna). Dla dowolnych X F KRZ, α F KRZ, β F KRZ zachodzą następujące

Bardziej szczegółowo

Matematyka dla biologów skrót wykładu 1.

Matematyka dla biologów skrót wykładu 1. Matematyka dla biologów skrót wykładu 1. Dariusz Wrzosek Instytut Matematyki Stosowanej i Mechaniki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, Banacha 2, 02-097 Warszawa pokój

Bardziej szczegółowo

Podstawy logiki i teorii mnogości w zadaniach

Podstawy logiki i teorii mnogości w zadaniach Uniwersytet Wrocławski Wydział Matematyki i Informatyki Piotr Koczenasz Podstawy logiki i teorii mnogości w zadaniach Praca magisterska napisana pod kierunkiem prof. dr. hab. Leszka Pacholskiego Wrocław,

Bardziej szczegółowo

Składnia rachunku predykatów pierwszego rzędu

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

Bardziej szczegółowo

Wstęp do logiki. Pytania i odpowiedzi

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

Bardziej szczegółowo

Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci

Z-ZIP Logika. Stacjonarne Wszystkie Katedra Matematyki Dr Beata Maciejewska. Podstawowy Nieobowiązkowy Polski Semestr trzeci KARTA MODUŁU / KARTA PRZEDMIOTU Z-ZIP-1003 Kod modułu Nazwa modułu Logika Nazwa modułu w języku angielskim Logic Obowiązuje od roku akademickiego 2012/2013 A. USYTUOWANIE MODUŁU W SYSTEMIE STUDIÓW Kierunek

Bardziej szczegółowo

Kryteria oceniania z matematyki zakres podstawowy Klasa I

Kryteria oceniania z matematyki zakres podstawowy Klasa I Kryteria oceniania z matematyki zakres podstawowy Klasa I zakres Dopuszczający Dostateczny Dobry bardzo dobry Zdanie logiczne ( proste i złożone i forma zdaniowa oraz prawa logiczne dotyczące alternatywy,

Bardziej szczegółowo

Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania

Paradoks 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ółowo

Zbiory, relacje i funkcje

Zbiory, relacje i funkcje Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację

Bardziej szczegółowo

Logika matematyczna. 1. Pojęcie zdania prostego i złożonego w logice matematycznej... 1 oznaczanie zdań prostych... 3

Logika matematyczna. 1. Pojęcie zdania prostego i złożonego w logice matematycznej... 1 oznaczanie zdań prostych... 3 Logika matematyczna Przedmowa To opracowanie jest napisane głównie z myślą o uczniach szkół średnich pragnących zrozumieć logikę matematyczną, ale i studenci pierwszego roku informatyki znajdą tu informacje

Bardziej szczegółowo

Klasyczny rachunek zdań

Klasyczny rachunek zdań ROZDZIAŁ 8 Klasyczny rachunek zdań Prezentacja osiągnięć logiki w tej części książki ma charakter autorski jak zresztą każda prezentacja już chociażby przez sam układ materiału, wyeksponowanie pewnych

Bardziej szczegółowo

Wstęp do matematyki Piotr Jędrzejewicz UMK Toruń 2014

Wstęp do matematyki Piotr Jędrzejewicz UMK Toruń 2014 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ółowo

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

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,

Bardziej szczegółowo

Teoretyczne Podstawy Języków Programowania Wykład 1. Rachunek zdań

Teoretyczne Podstawy Języków Programowania Wykład 1. Rachunek zdań Instytut Informatyki Teoretyczne Podstawy Języków Programowania Wykład 1. Rachunek zdań Zdzisław Spławski Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 1. Rachunek zdań 1 Systemy

Bardziej szczegółowo

Podstawowe układy cyfrowe

Podstawowe układy cyfrowe ELEKTRONIKA CYFROWA SPRAWOZDANIE NR 4 Podstawowe układy cyfrowe Grupa 6 Prowadzący: Roman Płaneta Aleksandra Gierut CEL ĆWICZENIA Celem ćwiczenia jest zapoznanie się z podstawowymi bramkami logicznymi,

Bardziej szczegółowo

JAVAScript w dokumentach HTML (1) JavaScript jest to interpretowany, zorientowany obiektowo, skryptowy język programowania.

JAVAScript w dokumentach HTML (1) JavaScript jest to interpretowany, zorientowany obiektowo, skryptowy język programowania. IŚ ćw.8 JAVAScript w dokumentach HTML (1) JavaScript jest to interpretowany, zorientowany obiektowo, skryptowy język programowania. Skrypty JavaScript są zagnieżdżane w dokumentach HTML. Skrypt JavaScript

Bardziej szczegółowo

LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE

LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE LOGIKA MATEMATYCZNA, ZBIORY I LICZBY RZECZYWISTE ZDANIA W LOGICE Zdaniem nazywamy w logice wypowiedź twierdzącą, której można przypisać jedną z dwóch ocen: prawdę lub fałsz. Zdanie zaczynające się np.

Bardziej szczegółowo

Krzysztof A. Wieczorek. Logika dla opornych. Wszystko co powinniście wiedzieć o logice, ale nie uważaliście na zajęciach

Krzysztof A. Wieczorek. Logika dla opornych. Wszystko co powinniście wiedzieć o logice, ale nie uważaliście na zajęciach Krzysztof A. Wieczorek Logika dla opornych Wszystko co powinniście wiedzieć o logice, ale nie uważaliście na zajęciach Ilustracje: Barbara Wieczorek copyright 2002 by Krzysztof A. Wieczorek 1 WSTĘP Celem

Bardziej szczegółowo

Elementy logiki Klasyczny rachunek predykatów

Elementy logiki Klasyczny rachunek predykatów Elementy logiki. Klasyczny rachunek predykatów. 1 Elementy logiki Klasyczny rachunek predykatów Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza

Bardziej szczegółowo

Matura z matematyki na poziomie rozszerzonym

Matura z matematyki na poziomie rozszerzonym Tadeusz Socha Matura z matematyki na poziomie rozszerzonym tom I powtórzenie do matury wydanie drugie, poprawione i uzupełnione matura od 2015 roku Copyright by Socha Tadeusz, 2014 ISBN 978-83-940726-0-5

Bardziej szczegółowo

Logika Matematyczna (1)

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

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Wstę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ółowo

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)]; Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +

Bardziej szczegółowo

Podstawy techniki cyfrowej

Podstawy techniki cyfrowej Podstawy techniki cyfrowej Wykład 1: Wstęp Dr hab. inż. Marek Mika Państwowa Wyższa Szkoła Zawodowa im. Jana Amosa Komeńskiego W Lesznie Plan Informacje o przedmiocie Wprowadzenie Podstawy matematyczne:

Bardziej szczegółowo

Automatyka Treść wykładów: Literatura. Wstęp. Sygnał analogowy a cyfrowy. Bieżące wiadomości:

Automatyka Treść wykładów: Literatura. Wstęp. Sygnał analogowy a cyfrowy. Bieżące wiadomości: Treść wykładów: Automatyka dr inż. Szymon Surma szymon.surma@polsl.pl pok. 202, tel. +48 32 603 4136 1. Podstawy automatyki 1. Wstęp, 2. Różnice między sygnałem analogowym a cyfrowym, 3. Podstawowe elementy

Bardziej szczegółowo

Wprowadzenie implementacja języka WolframAlpha

Wprowadzenie implementacja języka WolframAlpha Wprowadzenie implementacja języka WolframAlpha Każdą spójną logicznie metodę zapisu problemów matematycznych w jednym wierszu nazywamy językiem linearnym matematyki. Portal WolframAlpha jest przykładem

Bardziej szczegółowo

logicznych oczywiście

logicznych oczywiście logicznych oczywiście PRZYPOMNIJMY ZWIĄZKI LOGICZNE to związki analityczne między zdaniami uwarunkowane wyłącznie: Strukturą tych zdań Znaczeniem stałych logicznych STĄD W NAJBLIŻSZEJ PRZYSZŁOŚCI: O strukturze

Bardziej szczegółowo

Wstęp do Matematyki (2)

Wstęp do Matematyki (2) Wstęp do Matematyki (2) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Własności relacji Jerzy Pogonowski (MEG) Wstęp do Matematyki (2) Własności relacji 1 / 24 Wprowadzenie

Bardziej szczegółowo

MATEMATYKA. Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego

MATEMATYKA. Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego MATEMATYKA Pod redakcją Andrzeja Justa i Andrzeja Piątkowskiego Internetowy kurs dla kandydatów na Politechnikę Łódzką Repetytorium dla studentów I roku Politechniki Łódzkiej Skrypt niniejszy zawiera wiadomości

Bardziej szczegółowo

CZYLI ABC WNIOSKOWAŃ.

CZYLI 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

Funkcja Boolowska. f:b n B, gdzieb={0,1} jest zbiorem wartości funkcji. Funkcja boolowska jest matematycznym modelem układu kombinacyjnego.

Funkcja Boolowska. f:b n B, gdzieb={0,1} jest zbiorem wartości funkcji. Funkcja boolowska jest matematycznym modelem układu kombinacyjnego. SWB - Minimalizacja funkcji boolowskich - wykład 2 asz 1 Funkcja Boolowska Funkcja boolowskanargumentową nazywamy odwzorowanie f:b n B, gdzieb={0,1} jest zbiorem wartości funkcji. Funkcja boolowska jest

Bardziej szczegółowo