Matematyka ETId Elementy logiki
|
|
- Damian Grabowski
- 7 lat temu
- Przeglądów:
Transkrypt
1 Matematyka ETId Izolda Gorgol pokój 131A tel
2 Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace, któremu można przypisać jedna z dwóch wartości - prawda lub fałsz. Przyjmujemy, że symbolem prawdy jest 1, a 0 jest symbolem fałszu.
3 Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace, któremu można przypisać jedna z dwóch wartości - prawda lub fałsz. Przyjmujemy, że symbolem prawdy jest 1, a 0 jest symbolem fałszu. DEFINICJA Zmienna logiczna nazywamy zmienna, w miejsce której wstawiamy zdania (prawdziwe lub fałszywe, otrzymujac zdania w sensie logicznym. Najczęściej zmienne zdaniowe oznaczamy małymi literami: p, q, r,...
4 Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace, któremu można przypisać jedna z dwóch wartości - prawda lub fałsz. Przyjmujemy, że symbolem prawdy jest 1, a 0 jest symbolem fałszu. DEFINICJA Zmienna logiczna nazywamy zmienna, w miejsce której wstawiamy zdania (prawdziwe lub fałszywe, otrzymujac zdania w sensie logicznym. Najczęściej zmienne zdaniowe oznaczamy małymi literami: p, q, r,... Wartość logiczn a zdania p oznaczamy symbolem w(p: w(p = 0 p jest zdaniem fałszywym w(p = 1 p jest zdaniem prawdziwym
5 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów.
6 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p
7 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p koniunkcja p i q p q
8 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p koniunkcja p i q p q alternatywa p lub q p q
9 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p koniunkcja p i q p q alternatywa p lub q p q implikacja p q p implikuje q lub jeżeli p, to q p q
10 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p koniunkcja p i q p q alternatywa p lub q p q implikacja p q p implikuje q lub jeżeli p, to q p q równoważność p jest równoważne q lub p wtedy i tylko wtedy, gdy q p q p q
11 Funktory zdaniotwórcze Ze zdań logicznych możemy tworzyć zdania złożone przy pomocy spójników logicznych (funktorów zdaniotwórczych oraz nawiasów. negacja nie p p p koniunkcja p i q p q alternatywa p lub q p q implikacja p q p implikuje q lub jeżeli p, to q p q równoważność p jest równoważne q lub p wtedy i tylko wtedy, gdy q p q p q funktor jednoargumentowy,,, funktory dwuargumentowe
12 definicje wartościowań spójników logicznych w(p w( p w(p w(q w(p q w(p q w(p q w(p q
13 Formuły logiczne Matematyka ETId DEFINICJA Formuła logiczna nazywamy wyrażenie zbudowane ze zmiennych zdaniowych, funktorów zdaniotwórczych oraz nawiasów w następujacy rekurencyjny sposób:
14 Formuły logiczne Matematyka ETId DEFINICJA Formuła logiczna nazywamy wyrażenie zbudowane ze zmiennych zdaniowych, funktorów zdaniotwórczych oraz nawiasów w następujacy rekurencyjny sposób: zdania proste i zmienne zdaniowe sa formułami logicznymi
15 Formuły logiczne Matematyka ETId DEFINICJA Formuła logiczna nazywamy wyrażenie zbudowane ze zmiennych zdaniowych, funktorów zdaniotwórczych oraz nawiasów w następujacy rekurencyjny sposób: zdania proste i zmienne zdaniowe sa formułami logicznymi jeżeli P i Q sa formułami logicznymi, to P, (P Q, (P Q, (P Q oraz (P Q sa również formułami logicznymi.
16 Tautologie Matematyka ETId DEFINICJA Tautologia lub prawem rachunku zdań nazywamy formułę logiczna, która jest prawdziwa bez względu na wartość logiczna występujacych w niej zmiennych zdaniowych. Ozn. t.
17 Tautologie Matematyka ETId DEFINICJA Tautologia lub prawem rachunku zdań nazywamy formułę logiczna, która jest prawdziwa bez względu na wartość logiczna występujacych w niej zmiennych zdaniowych. Ozn. t. DEFINICJA Zdaniem sprzecznym nazywamy formułę logiczna, która jest fałszywa bez względu na wartość logiczna występujacych w niej zmiennych zdaniowych. Ozn. f.
18 Niektóre prawa rachunku zdań prawa przemienności (p q (q p (p q (q p
19 Niektóre prawa rachunku zdań prawa przemienności (p q (q p (p q (q p prawa łaczności ((p q r (p (q r ((p q r (p (q r
20 Niektóre prawa rachunku zdań prawa przemienności (p q (q p (p q (q p prawa łaczności ((p q r (p (q r ((p q r (p (q r prawa rozdzielności ((p q r ((p r (q r ((p q r ((p r (q r
21 Niektóre prawa rachunku zdań prawa przemienności (p q (q p (p q (q p prawa łaczności ((p q r (p (q r ((p q r (p (q r prawa rozdzielności ((p q r ((p r (q r ((p q r ((p r (q r prawa idempotentności (p p p (p p p
22 Niektóre prawa rachunku zdań prawa przemienności (p q (q p (p q (q p prawa łaczności ((p q r (p (q r ((p q r (p (q r prawa rozdzielności ((p q r ((p r (q r ((p q r ((p r (q r prawa idempotentności (p p p (p p p prawa identyczności (p t p (p f f (p t t (p f p
23 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia
24 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka
25 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności
26 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q
27 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q (p q ((p q (q p określenie równoważności
28 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q (p q ((p q (q p określenie równoważności (p q ( p q określenie implikacji
29 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q (p q ((p q (q p określenie równoważności (p q ( p q określenie implikacji (p q (p q zaprzeczenie implikacji
30 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q (p q ((p q (q p określenie równoważności (p q ( p q określenie implikacji (p q (p q zaprzeczenie implikacji (p q ( q p prawo kontrapozycji
31 Niektóre prawa rachunku zdań cd. ( p p prawo podwójnego przeczenia (p p prawo wyłaczonego środka (p p prawo sprzeczności prawa de Morgana (p q ( p q (p q ( p q (p q ((p q (q p określenie równoważności (p q ( p q określenie implikacji (p q (p q zaprzeczenie implikacji (p q ( q p prawo kontrapozycji [(p q (q r] (p r prawo sylogizmu
32 Implikacje Matematyka ETId p q implikacja prosta q p implikacja odwrotna p q implikacja przeciwna q p implikacja przeciwstawna. Jeżeli p będziemy uważać za założenie, a q za tezę twierdzenia, to mamy twierdzenie proste, odwrotne, przeciwne i przeciwstawne. Na podstawie prawa kontrapozycji twierdzenia proste i przeciwstawne (jak również odwrotne i przeciwne sa sobie równoważne i na tym fakcie opiera się metoda dowodzenia nie wprost.
33 Warunki konieczne i wystarczajace Każde twierdzenie matematyczne ma postać implikacji lub równoważności. W formule p q, p nazywamy poprzednikiem, a q następnikiem implikacji. W przypadku, gdy twierdzenie ma postać implikacji (Jeżeli Z, to T., mówimy, że Z jest warunkiem dostatecznym (wystarczajacym dla T, zaś T jest warunkiem koniecznym dla Z. W przypadku, gdy twierdzenie ma postać równoważności (Z wtedy i tylko wtedy, gdy T., mówimy, że Z jest warunkiem koniecznym i dostatecznym (wystarczajacym dla T (i odwrotnie.
34 Metody dowodzenia twierdzeń wprost Z T
35 Metody dowodzenia twierdzeń wprost Z T nie wprost (Z T ( T Z
36 Metody dowodzenia twierdzeń wprost Z T nie wprost (Z T ( T Z sprowadzanie do sprzeczności (Z T ((Z T f, f - zdanie fałszywe
37 Formy zdaniowe Matematyka ETId DEFINICJA Forma zdaniowa (funkcja zdaniowa nazywamy wyrażenie zawierajace zmienna (zmienne, które staje się zdaniem w sensie logicznym, jeżeli w miejsce zmiennej (zmiennych podstawimy nazwę przedmiotu(ów.
38 Formy zdaniowe Matematyka ETId DEFINICJA Forma zdaniowa (funkcja zdaniowa nazywamy wyrażenie zawierajace zmienna (zmienne, które staje się zdaniem w sensie logicznym, jeżeli w miejsce zmiennej (zmiennych podstawimy nazwę przedmiotu(ów. Z każda funkcja zdaniowa zwiazana jest rodzina zbiorów, które sa zakresami zmiennych występujacych w funkcjach zdaniowych. Jest to dziedzina funkcji zdaniowej.
39 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym.
40 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym. ^ V kwantyfikator ogólny : φ( dla każdego spełniona jest funkcja φ(
41 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym. ^ V kwantyfikator ogólny : φ( dla każdego spełniona jest funkcja φ( _ W kwantyfikator szczegółowy : φ( istnieje taki, że spełniona jest funkcja φ(
42 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym. ^ V kwantyfikator ogólny : φ( dla każdego spełniona jest funkcja φ( _ W kwantyfikator szczegółowy : φ( istnieje taki, że spełniona jest funkcja φ( Kwantyfikator ogólny jest uogólnieniem koniunkcji, zaś szcegółowy alternatywy.
43 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym. ^ V kwantyfikator ogólny : φ( dla każdego spełniona jest funkcja φ( _ W kwantyfikator szczegółowy : φ( istnieje taki, że spełniona jest funkcja φ( Kwantyfikator ogólny jest uogólnieniem koniunkcji, zaś szcegółowy alternatywy. Niech X = { 1, 2,..., n } będzie zakresem zmiennej w funkcji zdaniowej φ(. Wówczas (^ φ( (φ( 1 φ( 2 φ( n
44 Kwantyfikatory Matematyka ETId DEFINICJA Kwantyfikatory sa to funktory zdaniotwórcze, które przekształcaja funkcje zdaniowe w zdania w sensie logicznym. ^ V kwantyfikator ogólny : φ( dla każdego spełniona jest funkcja φ( _ W kwantyfikator szczegółowy : φ( istnieje taki, że spełniona jest funkcja φ( Kwantyfikator ogólny jest uogólnieniem koniunkcji, zaś szcegółowy alternatywy. Niech X = { 1, 2,..., n } będzie zakresem zmiennej w funkcji zdaniowej φ(. Wówczas (^ ( _ φ( φ( (φ( 1 φ( 2 φ( n (φ( 1 φ( 2 φ( n
45 Prawa rozdzielności kwantyfikatorów (^ [φ( ψ(] (^ φ( ^ ψ(
46 Prawa rozdzielności kwantyfikatorów (^ (^ [φ( ψ(] φ( ^ ψ( ( _ ( [φ( ψ(] φ( ψ(
47 Prawa rozdzielności kwantyfikatorów (^ (^ [φ( ψ(] φ( ^ ψ( ( _ ( [φ( ψ(] φ( ψ( ( _ ( [φ( ψ(] = φ( ψ( i nie zachodzi implikacja odwrotna
48 Prawa rozdzielności kwantyfikatorów (^ (^ [φ( ψ(] φ( ^ ψ( ( _ ( [φ( ψ(] φ( ψ( ( _ ( [φ( ψ(] = φ( ψ( i nie (^ zachodzi implikacja odwrotna φ( ^ (^ ψ( = [φ( ψ(] i nie zachodzi implikacja odwrotna
49 Zmiana zakresu kwantyfikatora (^ (φ( ψ( ^ φ( ψ(
50 Zmiana zakresu kwantyfikatora (^ (φ( ψ( ^ φ( ψ( ( (φ( ψ( φ(ψ(
51 Prawa de Morgana dla kwantyfikatorów (^ ( _ φ( φ(
52 Prawa de Morgana dla kwantyfikatorów (^ φ( ( _ φ( ( _ φ( (^ φ(
53 Prawa de Morgana dla kwantyfikatorów (^ ( _ φ( φ( ( _ φ( (^ φ( Prawa te słuszne s a również dla kwantyfikatorów o zasięgu ograniczonym.
54 Prawa przemienności dla kwantyfikatorów (^^ φ(,y (^^ y y φ(,y
55 Prawa przemienności dla kwantyfikatorów (^^ ( _ y _ (^^ φ(,y y ( _ φ(,y y y _ φ(,y φ(,y
56 Prawa przemienności dla kwantyfikatorów (^^ ( _ ( _ y _ y ^ y φ(,y φ(,y φ(,y = implikacja odwrotna (^^ y ( (^ y _ y φ(,y φ(,y φ(,y i nie zachodzi
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ół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ół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ół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ół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ół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ół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ół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ółowoZiemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Bardziej szczegółowoLogika 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ół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ół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ółowoRachunek zdań. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Rachunek zdań Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak RACHUNEK ZDAŃ Zdania Definicja Zdanie jest to stwierdzenie w języku naturalnym, któremu można przypisać wartość prawdy lub
Bardziej szczegółowoLekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Bardziej szczegół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ół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ółowoWykład 1. Informatyka Stosowana. 2 października Informatyka Stosowana Wykład 1 2 października / 33
Wykład 1 Informatyka Stosowana 2 października 2017 Informatyka Stosowana Wykład 1 2 października 2017 1 / 33 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Bardziej szczegół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ółowo1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów
1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów Logika matematyczna, dział matematyki zajmujący się badaniem własności wnioskowania (dowodzenia)
Bardziej szczegółowoMaciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki
Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej Elementy logiki 1. Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa.
Bardziej szczegół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ółowoTautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Bardziej szczegółowoLista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26
Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:
Bardziej szczegółowoRoger Bacon Def. Def. Def Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoKonsekwencja logiczna
Konsekwencja logiczna Niech Φ 1, Φ 2,..., Φ n będa formułami logicznymi. Formuła Ψ wynika logicznie z Φ 1, Φ 2,..., Φ n jeżeli (Φ 1 Φ 2 Φ n ) Ψ jest tautologia. Formuły Φ 1, Φ 2,..., Φ n nazywamy założeniami
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 1 października Informatyka Stosowana Wykład 1 1 października / 26
Wykład 1 Informatyka Stosowana 1 października 2018 Informatyka Stosowana Wykład 1 1 października 2018 1 / 26 Wykłady : 45h (w semestrze zimowym) (Egzamin) 30h (w semetrze letnim) (Egzamin) 3h lekcyjne
Bardziej szczegółowoLogika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
Bardziej szczegółowoRachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
Bardziej szczegół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ół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ółowoElementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.
Elementy logiki. Klasyczny rachunek zdań. 1 Elementy logiki Klasyczny rachunek zdań Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza Elementy
Bardziej szczegółowoElementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.
Elementy logiki. Klasyczny rachunek zdań. Elementy logiki Klasyczny rachunek zdań Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza 1 Spójniki
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ół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ół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ół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ółowoLogika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Bardziej szczegółowoWykł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ół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ółowoRoger Bacon Def. Def. Def Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoElementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje
Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.put.poznan.pl/ maciej.grzesiak Konsultacje: poniedziałek, 8.45-9.30, środa 8.45-9.30, piątek 9.45-10.30, pokój 724E Treść
Bardziej szczegółowoĆwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Bardziej szczegółowoReguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Bardziej szczegół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ół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ół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ółowo14. Grupy, pierścienie i ciała.
4. Grup, pierścienie i ciała. Definicja : Zbiór A nazwam grupą jeśli jest wposaŝon w działanie wewnętrzne łączne, jeśli to działanie posiada element neutraln i kaŝd element zbioru A posiada element odwrotn.
Bardziej szczegół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ół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ółowoZastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania
Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania Testerzy oprogramowania lub osoby odpowiedzialne za zapewnienie jakości oprogramowania oprócz wykonywania testów mogą zostać
Bardziej szczegół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ół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ółowoRoger Bacon Def. Def. Def. Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoZagadnienia podstawowe dotyczące metod formalnych w informatyce
Zagadnienia podstawowe dotyczące metod formalnych w informatyce! Logika Analiza języka i czynności badawczych (np. rozumowanie, definiowanie, klasyfikowanie) w celu poznania takich reguł posługiwania się
Bardziej szczegółowoWybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Logika, II rok Etnolingwistyki UAM, 20 VI 2008. Imię i Nazwisko:.............................. GRUPA: I Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.
Bardziej szczegółowoLogika 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ół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ółowo(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
Bardziej szczegół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ółowoZestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących
Zestaw 1 Zadanie 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących zdań: a) p (q r). b) Jeśli x + y = 1, to x 2 + y 2 1. c) Jeśli 2 + 2 = 4, to 3 + 3 = 8. Zadanie 2.
Bardziej szczegółowoMatematyka 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ółowoRachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Bardziej szczegółowo1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:
1 Rachunek zdań Formuły zdaniowe (lub krócej: zdania) w klasycznym rachunku zdań składają się ze zmiennych zdaniowych nazywanych też zdaniami składowymi (oznaczane są zazwyczaj p, q, r,...) oraz operatorów
Bardziej szczegółowoDorota Pekasiewicz Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny Katedra Metod Statystycznych, Łódź, ul. Rewolucji 1905 r.
Dorota Pekasiewicz Uniwersytet Łódzki, Wydział Ekonomiczno-Socjologiczny Katedra Metod Statystycznych, 90-214 Łódź, ul. Rewolucji 1905 r. nr 41 RECENZENT Stanisław Wanat REDAKTOR INICJUJĄCY Monika Borowczyk
Bardziej szczegółowoDrzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Bardziej szczegół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ółowoDalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
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ół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ół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ółowoKultura 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ółowoLOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Bardziej szczegółowoLogika matematyczna i teoria mnogości (I) J. de Lucas
Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.
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ółowoPodstawy 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ółowoLogika. 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ół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ółowoLOGIKA Dedukcja Naturalna
LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów
Bardziej szczegół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ółowoDowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
Bardziej szczegółowoMatematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1
Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,
Bardziej szczegółowoLogika rachunek zdań
Wprowadzenie do Wykładu 1 Logika Logika rachunek zdań Materiały pomocnicze do wykładu dla Studentów Informatyki Stosowanej Wydział EAIiIB AGH Antoni Ligęza Materiały pomocnicze: http://home.agh.edu.pl/~ligeza
Bardziej szczegółowoPODSTAWY 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ółowohttp://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ółowoRachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a
Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to
Bardziej szczegółowo1. Klasyczny Rachunek Zdań
Logiczne Podstawy Informatyki Elementy logiki 1 1. Klasyczny Rachunek Zdań Zdaniem w sensie logicznym nazywamy wyrażenie, które jest prawdziwe lub fałszywe. Prawdę i fałsz nazywamy wartościami logicznymi.
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ół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ółowoPodstawy 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ółowoPredykat. 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ół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ółowoAndrzej 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ółowoKryteria 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ółowoPrzykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Bardziej szczegółowodr ANNA NIEWULIS CENTRUM NAUCZANIA MATEMATYKI i KSZTAŁCENIA na ODLEGŁOŚĆ pokój 310
dr ANNA NIEWULIS CENTRUM NAUCZANIA MATEMATYKI i KSZTAŁCENIA na ODLEGŁOŚĆ pokój 310 LITERATURA Praca zbiorowa pod. red. B. Wikieł Matematyka, Podstawy z elementami matematyki wyższej W.Krysicki, L.Włodarski
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ółowoElementy 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