Logika matematyczna – definicja, przykłady, zadania

Logika jest działem matematyki opisującym w sposób formalny mechanizmy ludzkiego myślenia – określa ona granice tego, co w poprawnym rozumowaniu dopuszczalne. Dzięki narzędziom dostarczanym przez logikę matematyczną możemy wyciągać poprawne wnioski z przyjętych założeń, co jest pomocne w szczególności przy dowodzeniu twierdzeń – bez których rozwój matematyki nie byłby możliwy. Choć logika początki swe bierze w starożytnej Grecji, za dział matematyki została uznana dopiero w XX wieku – wcześniej uważana była za domenę logików. Obecnie uważa się, że jest ona podstawową dziedziną nauk matematycznych oraz informatycznych i zdecydowana większość teorii oparta jest właśnie na jej fundamentach oraz wyrażona w języku pojęć z niej zaczerpniętych.

Polecamy również:

  • Kwantyfikatory

    Kwantyfikatorami nazywamy symbole oznaczające zwroty „dla każdego” oraz „istnieje”. Więcej »

  • Wartości logiczne zdań

    Wartości logiczne służą do określania prawdziwości zdań. Zdanie prawdziwe ma wartość logiczną 1, natomiast zdanie fałszywe ma wartość logiczną 0. Więcej »

  • Operatory logiczne

    Operatory logiczne są operacjami (działaniami), które można wykonywać na zdaniach logicznych. Więcej »

  • Prawa rachunku zdań

    Prawa rachunku zdań (zwane inaczej tautologiami) to zdania połączone operatorami logicznymi w taki sposób, że ich wartość logiczna jest zawsze równa 1, niezależnie od wartości logicznych zdań składowych. Więcej »

  • Dowód

    Dowód jestem elementarnym pojęciem w matematyce. Porządna teoria matematyczna składa się z definicji, twierdzeń i dowodów. Więcej »

Komentarze (2)
Wynik działania 2 + 5 =
JS
2023-11-02 09:59:20
OK
Gaba
2016-08-12 10:51:05
B. dobry
Ostatnio komentowane
"Mianem libertarianizmu zwykło się nazywać najbardziej radykalny nurt liberalizmu." No...
• 2024-03-01 10:11:23
kys(keepurselfsafe)
• 2024-02-28 14:36:21
Super i MEGA pomocne!
• 2024-02-28 10:18:34
joł joł jowisz najwiekszy olbrzym gazowy 5 od słonca na pewno nie przeoczysz choć mooj...
• 2024-02-27 14:59:44
Ok
• 2024-02-27 09:29:45