logicznych oczywiście

Podobne dokumenty
logicznych oczywiście

logicznych oczywiście

dr Victoria Kamasa (ZSL IJ) logicznych oczywiście



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

Wprowadzenie do logiki

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

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

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

Czyli Wprowadzenie do logiki

Procenty % % oznacza liczbę 0, 01 czyli / 100

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

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

Podstawowe Pojęcia. Semantyczne KRZ

Logika Matematyczna (1)

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Lista 1 (elementy logiki)

WYRAŻENIA ALGEBRAICZNE

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

LOGIKA Klasyczny Rachunek Zdań

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

LOGIKA I TEORIA ZBIORÓW

Czyli ABC logiki predykatów

Logika Matematyczna (1)

Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW

Klasyczny rachunek zdań 1/2

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Logika Matematyczna (1-3) Zadania

CZYLI ABC WNIOSKOWAŃ.

Elementy logiki matematycznej

Kultura logiczna Klasyczny rachunek zdań 1/2

Wstęp do logiki. Klasyczny Rachunek Zdań II

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

ś ć ś Ź ć ś Ż Ż Ś Ź Ć ś Ź

Ile waży arbuz? Copyright Łukasz Sławiński

Matematyka Dyskretna Zestaw 2

O B W I E S Z C Z E N I E

10. Kolorowanie wierzchołków grafu

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

Organizacja czasu 1

Rachunek logiczny. 1. Język rachunku logicznego.

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

Indukcja matematyczna

Logika pragmatyczna dla inżynierów

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Matematyk Roku gminny konkurs matematyczny. FINAŁ 19 maja 2017 KLASA PIERWSZA

Logika Matematyczna (2,3)

Bukiety matematyczne dla szkoły podstawowej

Algebry skończonego typu i formy kwadratowe

FUNKCJA LINIOWA. A) B) C) D) Wskaż, dla którego funkcja liniowa określona wzorem jest stała. A) B) C) D)

3. Podaj elementy składowe jakie powinna uwzględniać definicja informatyki.

praca zbiorowa pod kierunkiem EXCEL nowych punktów widzenia

Poznajemy rodzaje podmiotu

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

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

Treść wykładu. Układy równań i ich macierze. Rząd macierzy. Twierdzenie Kroneckera-Capellego.

ź ś Ś Ę Ż ść ś ś Ż Ż ś Ż Ż

II klasa informatyka rozszerzona SZYFROWANIE INFORMACJI

ć ć ć Ś ć Ż

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

ę ę ż ż ć ć ę ć ę ż ć ć ę Ś ę ę ę Ź Ź ż Ś ę ć ć ę ę ę ę ę ę ż ć ż ć ę ę ę Ź ę ż ę ę ę

x 2 = a RÓWNANIA KWADRATOWE 1. Wprowadzenie do równań kwadratowych 2. Proste równania kwadratowe Równanie kwadratowe typu:

3. FUNKCJA LINIOWA. gdzie ; ół,.

Instrukcje warunkowe i skoku. Spotkanie 2. Wyrażenia i operatory logiczne. Instrukcje warunkowe: if else, switch.

MATEMATYKA WYMAGANIA EDUKACYJNE DLA KLASY VI

Elementy logiki i teorii mnogości

ę ę ż Ó Ż

ć ć ć ć ź ć

Ż ż ć Ź ż Ż Ę

Zestaw II sposób rozwiązania (rozkład trójmianu kwadratowego na czynniki)

Wykład 14. Elementy algebry macierzy

Wstęp do logiki. Semiotyka cd.

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

ś ś ś Ź Ę Ć ś ś ś ć ś ś ś ś ś ś ś ś ś ś Ą

SZTUCZNA INTELIGENCJA

Konkurs dla gimnazjalistów Etap II 5 luty 2013 roku

Matematyka ETId Elementy logiki

Ł ż ż Ł ż ż ż ż ż ż ż ż Ś ż ż ż ż ż ż ż ż ż ź ż ż ż ż ż ć ż ż ż ż ż ć ż


Algorytmy i złożoności Wykład 5. Haszowanie (hashowanie, mieszanie)

Ę ć ć Ę Ą Ę

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych


ź Ś Ż ć ć Ź Ś ł Ł ć Ś Ś Ż ć ć ŚĆ Ć ć Ś

Skrypt 7. Funkcje. Opracowanie: L1

FUNKCJA KWADRATOWA. Zad 1 Przedstaw funkcję kwadratową w postaci ogólnej. Postać ogólna funkcji kwadratowej to: y = ax + bx + c;(

Ę

Zadanie 1. (6 punktów) Słowo w nazwiemy anagramem słowa v jeśli w można otrzymać z v poprzez zamianę kolejności liter. Niech

; B = Wykonaj poniższe obliczenia: Mnożenia, transpozycje etc wykonuję programem i przepisuję wyniki. Mam nadzieję, że umiesz mnożyć macierze...

Logika intuicjonistyczna

ć ż ż Ś ż

ć ź ć ć ć

5. Rozwiązywanie układów równań liniowych

Ćwiczenie 8 Kolory i znaki specjalne

TEORETYCZNE PODSTAWY INFORMATYKI


RACHUNEK PRAWDOPODOBIEŃSTWA I KOMBINATORYKA

ZADANIA ZAMKNIETE W zadaniach 1-25 wybierz i zaznacz na karcie odpowiedzi poprawna

Transkrypt:

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 zdań O tłumaczeniach z ludzkiego na logiczne O znaczeniu stałych logicznych

JAN PÓJDZIE JUTRO DO KINA LUB TEATRU I JAN NIE PÓJDZIE DO KINA, WIĘC JAN PÓJDZIEDO TEATRU 1 JEŻELI JAN BIEGA SZYBCIEJ NIŻ KATARZYNA, TO KATARZYNA BIEGA WOLNIEJ NIŻ JAN 2

NIEDOBRZE, ALE MACIE JESZCZE JEDNĄ SZANSĘ 1 TOMASZ MA WIELKI CZEROWNY NOS LUB MA MAŁY 2 CZERWONY NOS. 2 TOMASZ MA WIELKI CZERWONY NOS LUB NIE MA WIELKIEGO CZERWONEGO NOSA mgr mgr Victoria Kamasa (ZSL (ZSL IJ) IJ)

BRAWO inaczej Rozpoznać strukturę, czyli ustalić sieć połączeń występujących między poszczególnymi znakami w danym wyrażeniu ustalić budowę składniową danego wyrażenia

JAK TO ZROBIĆ? Sposobów jest wiele Najbardziej przyjazny tzw. drzewa składniowe: Korzeń rozważane wyrażenie Węzły znaki poszczególnych łączników (szeroko pojętych) Liście poszczególne składniki wyrażenia

PRZYKŁAD 1 JAK Z MATEMATYKI WIADOMO KOLEJNOŚĆ DZIAŁAŃ WYZNACZAJĄ NAWIASY

Załóżmy: PRZYKŁAD 2 Łącznikami w tym języku są $ i@ Każdy łącznik łączy zawsze dwa i tylko dwa elementy Składnikami wyrażeń mogą być wszystkie małe litery alfabetu łacińskiego Operacje w nawiasach wykonujemy najpierw Nasze wyrażenie: ((((a$b)@c)$(d@e))@f)$((g$h)@(i@j))

ŻARTY SIĘ SKOŃCZYŁY

BOMBA 1: Składnia języka taka jak w przykładzie 2 Wyrażenie wyróżnione zaznaczone czerwonym kolorem Wyrażenie: (((a@b)$a)$c)@d

KOD: @ $ $ @

BOMBA 2 Nowy język: Łącznikami w tym języku są: Każdy łącznik łączy zawsze dwa i tylko dwa elementy Składnikami wyrażeń mogą być wszystkie małe litery alfabetu łacińskiego Operacje w nawiasach wykonujemy najpierw

Wyrażenie: (((r q) r) p) q KOD:

BOMBA 3 TEN SAM JĘZYK Wyrażenie: (((p q) (r q)) r) (p q) KOD:

DRZEWA JESZCZE RAZ DRZEWA SKŁADNIOWE: Korzeń rozważane wyrażenie Węzły znaki poszczególnych łączników (szeroko pojętych) Liście poszczególne składniki wyrażenia

Pomogę Wam, jeżeli rozwiążecie moją zagadkę: Samochód z bandytami wyjeżdża spod banku w kierunku komisariatu. 30 minut później samochód policyjny wyrusza z komisariatu w kierunku banku. Oba samochody jadą z dokładnie tą samą prędkością. Który będzie bliżej komisariatu, gdy się spotkają? Macie 3 minuty.

VSVS PRZEANALIZUJMY LIST c z a s p r z e ć w i c z y ć u m i e j ę t n o ś ć s z y f r o w a n i a k l u c z e m d o r o z b r o j e n i a k o l e j n y c h b o m b j e s t rozpoznanie l ogicznej formy zapisanych na nich zdań nasz język jest bardzo prosty: zamiast zdań prostych u żywa my małych liter łacińskiego alfabetu zdania łączymy s ymbolami prawdziwościowych spójników zdań p o m o c u z y s k a c i e o d o j c a c h r z e s t n e g o P R L

PORA NA DEFINICJE LOGICZNA FORMA ZDANIA Zapis zawierający informacje o wszystkich własnościach zdania istotnych dla kwestii logicznej prawdziwości tego zdania oraz jego związków logicznych z innymi zdaniami. (Stanosz 1985)

UWAGA! LOGICZNA FORMA -CD Logiczna prawdziwość zdania nie zależy od tych jego wyrażeń składowych, które nie są stałymi logicznymi. ZATEM Forma logiczna musi uwzględniać: stałe logiczne symbole zastępujące to, co między nimi (czyli zdania proste) (Stanosz 1985)

STAŁE LOGICZNE SŁOWA KWANTYFIKUJĄCE Dobra wiadomość: Na razie nie są dla nas istotne PRAWDZIWOŚCIOWE SPÓJNIKI ZDANIOWE Wyrażenia, które: Łączą dwa zdania LUB łączą się z jednym zdaniem Ich wartość logiczna zależy wyłącznieod wartości logicznej zdań łączonych (Stanosz 1985)

PRL używają bardzo konkretnych spójników. Są to spójniki klasycznego rachunku zdań. Zdradzę Wam je tylko wtedy, gdy rozwiążecie następującą zagadkę: W sejfie w ciemnym pokoju leżą 24 rubiny i 24 szmaragdy. Chcę zrobić kolczyki dla żony. Jaka jest najmniejsza ilość kamieni, które muszę wyciągnąć z sejfu, aby mieć pewność, że mam co najmniej dwa kamienie tego samego rodzaju? Macie 3 minuty. mgr mgr Victoria Kamasa (ZSL (ZSL IJ) IJ)

BRAWO Spójniki używane przez PRL to:

ERROR: ioerror OFFENDING COMMAND: image STACK: