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 + 3 =
Gaba
2016-08-12 10:51:05
B. dobry
Ostatnio komentowane
Y
• 2022-05-25 20:07:24
to 6
• 2022-05-25 18:28:33
js2115
• 2022-05-25 16:06:43
Punkt 3. Nie jest to prawda. Modlitwa w INTENCJACH Ojca Świętego. To znaczy, że modlimy...
• 2022-05-24 15:08:48