Grażyna Ziobro-Marcinkiewicz Logika matematyczna Grażyna Ziobro-Marcinkiewicz
Spis treści Historia logiki Rachunek zdań pojęcie zdania logicznego i wartości logicznej spójniki logiczne tautologie kwantyfikatory
Historia logiki Arystoteles logikę traktował jako narzędzie: używane do prowadzenia sporów retorycznych, głównie z sofistami umożliwiające wyciąganie wniosków za pomocą sylogizmów, co było pomocne w zdobywaniu wiedzy naukowej Logika nie była traktowana jako nauka ani jako system, jednak Arystoteles dał podstawy do rozwoju logiki jako odrębnej dyscypliny badawczej rozwijając takie zagadnienia jak: definiowanie, klasyfikowanie logiczne, wnioskowanie indukcyjne, czy pojęcie dowodu.
Pierwsze ogólne schematy poprawnych sformułowań IV w. p.n.e. Arystoteles podał także trzy zasady, nazywane czasem najwyższymi prawami myślenia: zasadę tożsamości zasadę sprzeczności zasadę wyłączonego środka
Okres intensywnego rozwoju logiki II połowa XIX w., XX w. George Boole August de Morgan Charles Peirce Ernest Schröder
Wkład polskich matematyków w rozwój logiki XIX/XX w. Jan Łukasiewicz XX w. Alfred Tarski Stanisław Leśniewski Andrzej Mostowski
Zdanie logiczne i wartość logiczna Zdaniem w matematyce nazywamy takie zdanie w sensie gramatycznym, o którym można jednoznacznie orzec, czy jest prawdziwe czy fałszywe. Wartość logiczną zdania prawdziwego oznaczamy przez 1, zdanie fałszywe ma wartość logiczną 0. Zdania na ogół oznaczamy literami: p, q, r….
Podstawowy odpowiednik w języku naturalnym Przykładowe zastosowanie Spójniki logiczne Nazwa spójnika Symbol Podstawowy odpowiednik w języku naturalnym Przykładowe zastosowanie Negacja ~ nieprawda, że ~ p ~ (p ν q) Koniunkcja Λ i p Λ q p Λ (~q ↔r) Alternatywa ν lub p ν q ( p → q) ν (r Λ ~s) Implikacja → jeśli …, to p → q ( p ν q ) → ~ r Równoważność ↔ wtedy i tylko wtedy, gdy p ↔ q ( p Λ ~ q) ↔ (~ r → ~s)
Tabelki zero - jedynkowe p q p Λ q p ν q p → q p ↔ q 1
Tautologie i kontrtautologie Tautologie, to schematy, które w każdym przypadku dają ostateczne zdanie prawdziwe Kontrtautologie, to schematy, które generują zdania fałszywe
Kwantyfikatory Wyrażenie: „ dla każdego...” nazywamy kwantyfikatorem ogólnym ( lub dużym ) i zapisujemy: Wyrażenie: „ istnieje...” nazywamy kwantyfikatorem szczegółowym ( lub małym) i zapisujemy: