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 5 + 1 =
Gaba
2016-08-12 10:51:05
B. dobry
Ostatnio komentowane
7
• 2022-10-06 16:22:08
a
• 2022-10-06 14:58:01
1Tm 3:15 "Gdybym jednak się opóźniał, będziesz już wiedział, jak należy zachowywa...
• 2022-10-03 20:33:03
Super
• 2022-10-03 17:32:47
Przydały mi się te choroby
• 2022-10-02 10:10:41