Logika matematyczna

Rozdział ten jest częścią matematyki dyskretnej, która obejmuje także teorię mnogości, elementarną teorię liczb, teorię grafów i logikę rozmytą.

Spis treści

Logika matematyczna albo inaczej logika formalna (w odróżnieniu od logiki klasycznej, filozoficznej) jest to dział matematyki, który zajmuje się badaniem struktur, metod i innych własności teorii matematycznych. Omawiamy tutaj rachunek zdań, kwantyfikatory, indukcję matematyczną i inne zagadnienia, stanowiące podstawę matematyki. Niegdyś logika matematyczna stanowiła dział pomocniczy matematyki. Na początku XX wieku uzyskała status samodzielnej dyscypliny matematyki. Najbardziej znani naukowcy tej dziedziny nauki to Gottlob Frege, Giuseppe Peano, Bertrand Russell, a także polscy naukowcy Jan Łukasiewicz oraz Alfred Tarski.



Podział logiki matematycznej

Logikę matematyczną dzielimy na:

W klasycznej logice matematycznej zdanie logiczne może przyjąć tylko jedną z dwóch wartości: może być prawdziwe lub fałszywe.

W logice matematycznej nieklasycznej tych wartości może być więcej. Wyróżnia się tu logikę różnowartościową, konstruktywną, modalną, logikę rozmytą.

Pytania

Pytania

Czym się różni logika matematyczna od logiki?

Logika, czyli logika tradycyjna lub filozoficzna zajmuje się szeroko rozumianymi zasadami formułowania wniosków na podstawie przesłanek. W matematyce logika zajmuje się związkami między wartościami logicznymi zdań i wyrażeń.



Wybrane karty pracy

ikona - karta pracy

W zgodzie z logiką

ikona - karta pracy

Kolorowe schematy

ikona - karta pracy

Szlaczki

ikona - karta pracy

Pokoloruj budowle

ikona - karta pracy

Różne kwiatki

ikona - karta pracy

Kolorowe motylki

ikona - karta pracy

Labirynt

ikona - karta pracy

Labirynt

ikona - karta pracy

Labirynt

ikona - karta pracy

Cyfrowy obrazek

ikona - karta pracy

Gra w okręty

ikona - karta pracy

Labirynt

ikona - karta pracy

Poszukaj zasady ...

ikona - karta pracy

Znajdź drogę

ikona - karta pracy

Logika z zegarem

ikona - karta pracy

Labirynt

ikona - karta pracy

Poszukaj zasady ...

ikona - karta pracy

Poszukaj zasady ...

ikona - karta pracy

Malowane liczbami

ikona - karta pracy

Labirynt





© medianauka.pl, 2016-07-09, A-3203
Data aktualizacji artykułu: 2023-01-27



Udostępnij
©® Media Nauka 2008-2025 r.