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 (1)
Wynik działania 1 + 5 =
Gaba
2016-08-12 10:51:05
B. dobry
Ostatnio komentowane
Fajne polecam dobrze opracowane
• 2023-09-26 19:47:13
Bardzo fajne .
• 2023-09-26 11:20:23
Oku
• 2023-09-25 20:58:38
Muszę na poniedziałek napisać coś o "portret z pelargoniami" ale niestety tu nie znala...
• 2023-09-24 10:07:26
Gitówa
• 2023-09-19 21:19:02