Pochodzenie logiki matematycznej, jakie badania, typy



The logika matematyczna lub logika symboliczna jest językiem matematycznym zawierającym niezbędne narzędzia, za pomocą których można potwierdzić lub zaprzeczyć rozumowaniu matematycznemu.

Powszechnie wiadomo, że w matematyce nie ma żadnych niejasności. Biorąc pod uwagę argument matematyczny, jest to ważne lub po prostu nie jest. Nie może być jednocześnie fałszywy i prawdziwy.

Szczególnym aspektem matematyki jest to, że ma formalny i rygorystyczny język, dzięki któremu można określić ważność rozumowania. Co sprawia, że ​​pewne rozumowanie lub dowód matematyczny są niepodważalne? Na tym polega logika matematyczna.

Logika jest zatem dyscypliną matematyki odpowiedzialną za studiowanie rozumowania matematycznego i demonstracji oraz zapewnia narzędzia pozwalające wywnioskować prawidłowy wniosek z poprzednich stwierdzeń lub propozycji.

W tym celu wykorzystuje aksjomaty i inne aspekty matematyczne, które zostaną opracowane później.

Indeks

  • 1 Pochodzenie i historia
    • 1.1 Arystoteles
  • 2 Jakie studia logiki matematycznej?
    • 2.1 Propozycje
    • 2.2 Tabele prawdy
  • 3 Rodzaje logiki matematycznej
    • 3.1 Obszary
  • 4 odniesienia

Pochodzenie i historia

Dokładne daty dotyczące wielu aspektów logiki matematycznej są niepewne. Jednak większość bibliografii na ten temat śledzi pochodzenie tego starożytnej Grecji.

Arystoteles

Początek rygorystycznego traktowania logiki przypisuje się po części Arystotelesowi, który napisał zbiór dzieł logicznych, które później były zbierane i rozwijane przez różnych filozofów i naukowców, aż do średniowiecza. Można to uznać za „starą logikę”.

Następnie, w tak zwanym Wieku Współczesnym, Leibniz, poruszony głębokim pragnieniem ustanowienia uniwersalnego języka do rozumowania matematycznego, i inni matematycy, tacy jak Gottlob Frege i Giuseppe Peano, wywarli znaczący wpływ na rozwój logiki matematycznej z wielkim wkładem wśród nich aksjomaty Peano, które formułują niezbędne właściwości liczb naturalnych.

W tym czasie wpływ mieli także matematycy George Boole i Georg Cantor, z ważnym wkładem w teorię zbiorów i tabele prawdy, podkreślając, między innymi, algebrę boolowską (autorstwa George Boole) i aksjomat wyboru (autor: George Cantor).

Jest też Augustus De Morgan z dobrze znanymi prawami Morgana, które kontemplują zaprzeczenia, spójniki, dysjunkcje i uwarunkowania między twierdzeniami, kluczami do rozwoju symbolicznej logiki, a Johnem Vennem ze słynnymi diagramami Venna.

W XX wieku, w przybliżeniu między 1910 a 1913 rokiem, Bertrand Russell i Alfred North Whitehead wyróżniają się publikacją Principia mathematica, zbiór książek, które gromadzą, rozwijają i postulują serię aksjomatów i wyników logicznych.

Jakie studia logiki matematycznej?

Propozycje

Logika matematyczna zaczyna się od badania zdań. Twierdzenie jest twierdzeniem, które można powiedzieć bez dwuznaczności, jeśli jest prawdziwe lub nie. Oto przykłady propozycji:

  • 2 + 4 = 6.
  • 52= 35.
  • W roku 1930 miało miejsce trzęsienie ziemi w Europie.

Pierwsza jest prawdziwą propozycją, a druga jest fałszywą propozycją. Trzecia, nawet jeśli jest możliwe, że osoba, która ją czyta, nie wie, czy to prawda, czy natychmiast, jest to stwierdzenie, które można zweryfikować i ustalić, czy naprawdę się wydarzyło, czy nie.

Oto przykłady wyrażeń, które nie są propozycjami:

  • Ona jest blondynką.
  • 2x = 6.
  • Zagrajmy!
  • Lubisz kino?

W pierwszym zdaniu nie określono, kto jest „ona”, dlatego nie można niczego potwierdzić. W drugim zdaniu to, co jest reprezentowane przez „x”, nie zostało określone. Jeśli zamiast tego powiedziano, że 2x = 6 dla pewnej liczby naturalnej x, w tym przypadku odpowiadałoby to twierdzeniu, w rzeczywistości jest prawdziwe, ponieważ dla x = 3 jest spełnione.

Ostatnie dwa stwierdzenia nie odpowiadają twierdzeniu, ponieważ nie ma sposobu, aby je zaprzeczyć lub potwierdzić.

Dwie lub więcej propozycji można łączyć (lub łączyć) za pomocą znanych łączników łączących (lub łączników). Są to:

  • Denial: „To nie pada”.
  • Rozłączenie: „Luisa kupiła białą lub szarą torbę”.
  • Połączenie: „42= 16 i 2 × 5 = 10 ”.
  • Warunkowo: „Jeśli pada deszcz, to nie idę na siłownię dziś po południu”.
  • Dwubiegunowy: „Idę dziś na siłownię, jeśli i tylko wtedy, gdy nie pada”.

Twierdzenie, które nie posiada żadnego z poprzednich łączników, nazywane jest twierdzeniem prostym (lub atomowym). Na przykład „2 to mniej niż 4” jest prostą propozycją. Zdania, które mają jakąś łączność, są nazywane zdaniami złożonymi, ponieważ na przykład „1 + 3 = 4 i 4 to liczba parzysta”.

Stwierdzenia składane za pomocą zdań są zwykle długie, więc pisanie ich zawsze jest żmudne, jak widzieliśmy do tej pory. Z tego powodu używany jest język symboliczny. Zdania są zwykle przedstawiane wielkimi literami, takimi jak P, Q, R, S, itd. I symboliczne połączenie w następujący sposób:

Więc to

The wzajemność propozycji warunkowej

to propozycja

I kontrpropozycja (lub contrapositive) propozycji

to propozycja

Tabele prawdy

Inną ważną koncepcją logiki są tabele prawdy. Wartości prawdy twierdzenia są dwiema możliwościami, które są dostępne dla twierdzenia: prawda (która będzie oznaczona przez V, a jej wartość prawdy zostanie określona jako V) lub fałsz (która zostanie oznaczona przez F, a jej wartość zostanie powiedziana to naprawdę jest F).

Wartość prawdy twierdzenia złożonego zależy wyłącznie od wartości prawdy prostych twierdzeń, które się w nim pojawiają.

Aby pracować bardziej ogólnie, nie będziemy rozważać konkretnych propozycji, ale zmiennych zdaniowych p, q, r, s, itd., które będą reprezentować dowolne propozycje.

W przypadku tych zmiennych i łączników logicznych dobrze znane formuły zdaniowe są tworzone tak, jak skonstruowane są instrukcje złożone.

Jeśli każda ze zmiennych pojawiających się w formule zdaniowej jest zastąpiona twierdzeniem, uzyskuje się propozycję złożoną.

Poniżej znajdują się tabele prawdy dla logicznych łączników:

Istnieją formuły zdaniowe, które otrzymują tylko wartość V w swojej tabeli prawdy, to znaczy ostatnia kolumna ich tabeli prawdy ma tylko wartość V. Ten typ formuł jest znany jako tautologie. Na przykład:

Poniżej znajduje się tabela prawdy wzoru

Mówi się, że formuła α logicznie implikuje inny wzór β, jeśli α jest prawdziwe za każdym razem, gdy β jest prawdziwe. Oznacza to, że w tabeli prawdy α i β wiersze, w których α ma V, β również mają wartość V. Interesujące są tylko wiersze, w których α ma wartość V. Notacja dla implikacji logicznej jest następująca :

Poniższa tabela podsumowuje właściwości implikacji logicznej:

Mówi się, że dwie formuły zdaniowe są logicznie równoważne, jeśli ich tabele prawdy są identyczne. Następująca notacja jest używana do wyrażenia logicznej równoważności:

Poniższe tabele podsumowują właściwości równoważności logicznej:

Rodzaje logiki matematycznej

Istnieją różne typy logiki, zwłaszcza jeśli wziąć pod uwagę pragmatyczną lub nieformalną logikę, która wskazuje na filozofię, między innymi.

Jeśli chodzi o matematykę, rodzaje logiki można podsumować w następujący sposób:

  • Formalna lub arystotelesowska logika (Ancient Logic).
  • Logika zdaniowa: odpowiada za badanie wszystkiego, co jest związane z zasadnością argumentów i twierdzeń przy użyciu języka formalnego, a także symbolicznego.
  • Logika symboliczna: skupiona na badaniu zbiorów i ich właściwości, także w języku formalnym i symbolicznym, i jest głęboko powiązana z logiką zdaniową.
  • Logika kombinatoryczna: jedna z ostatnio opracowanych obejmuje wyniki, które można opracować za pomocą algorytmów.
  • Programowanie logiczne: używane w różnych pakietach i językach programowania.

Obszary

Wśród dziedzin, które wykorzystują logikę matematyczną w niezastąpiony sposób w rozwoju ich rozumowania i argumentacji, podkreślają filozofię, teorię zbiorów, teorię liczb, konstruktywną matematykę algebraiczną i języki programowania..

Referencje

  1. Aylwin, C. U. (2011). Logika, zestawy i liczby. Merida - Wenezuela: Rada Publikacji, Universidad de Los Andes.
  2. Barrantes, H., Diaz, P., Murillo, M., i Soto, A. (1998). Wprowadzenie do teorii liczb. EUNED.
  3. Castañeda, S. (2016). Kurs podstawowy z teorii liczb. Uniwersytet Północy.
  4. Cofré, A. i Tapia, L. (1995). Jak rozwijać matematyczne rozumowanie logiczne. Wydawnictwo uniwersyteckie.
  5. Zaragoza, A.C. (s.f.). Teoria liczb. Książki redakcyjne.