Prawa Morgana



Loczy Morgana są to reguły wnioskowania używane w logice zdaniowej, które ustalają, co jest wynikiem zaprzeczenia dysjunkcji i koniunkcji zdań lub zmiennych zdań. Prawa te zostały zdefiniowane przez matematyka Augustusa De Morgana.

Prawa Morgana stanowią bardzo przydatne narzędzie do wykazania słuszności rozumowania matematycznego. Później zostały uogólnione w ramach koncepcji zbiorów przez matematyka George'a Boole'a.

To uogólnienie dokonane przez Boole'a jest całkowicie równoważne z początkowymi prawami Morgana, ale zostało opracowane specjalnie dla zbiorów, a nie dla propozycji. To uogólnienie jest również znane jako prawa Morgana.

Indeks

  • 1 Przegląd logiki zdaniowej
    • 1.1 Fallacy
    • 1.2 Propozycje
  • 2 Prawa Morgana
    • 2.1 Demonstracja
  • 3 zestawy
    • 3.1 Unia, skrzyżowanie i uzupełnienia zestawów
  • 4 Prawa Morgana dla zbiorów
  • 5 referencji

Przegląd logiki zdaniowej

Zanim przyjrzymy się konkretnie prawom Morgana i sposobom ich użycia, wygodnie jest pamiętać pewne podstawowe pojęcia logiki zdaniowej. (Aby uzyskać więcej informacji, zobacz artykuł logiki zdaniowej).

W dziedzinie logiki matematycznej (lub propozycjonalnej) wnioskowanie jest wnioskiem wyemitowanym ze zbioru przesłanek lub hipotez. Wniosek ten, wraz ze wspomnianymi przesłankami, rodzi tak zwane rozumowanie matematyczne.

To rozumowanie musi być możliwe do wykazania lub zaprzeczenia; to znaczy, że nie wszystkie wnioski lub wnioski w rozumowaniu matematycznym są ważne.

Fallacy

Fałszywy wniosek wynikający z pewnych założeń, które uważa się za prawdziwe, jest znany jako błąd. Błędów cechuje to, że są argumentami, które wydają się poprawne, ale matematycznie ich nie ma.

Logika zdaniowa jest odpowiedzialna za precyzyjne opracowywanie i dostarczanie metod, za pomocą których można, bez niejasności, potwierdzać lub odrzucać rozumowanie matematyczne; to znaczy wywnioskować prawidłowy wniosek z przesłanek. Metody te są znane jako reguły wnioskowania, których częścią są prawa Morgana.

Propozycje

Podstawowe elementy logiki zdaniowej są twierdzeniami. Zdania są stwierdzeniami, o których można powiedzieć, czy są ważne, czy nie, ale jednocześnie nie mogą być prawdziwe ani fałszywe. W tej sprawie nie powinno być dwuznaczności.

Tak jak liczby można łączyć poprzez operacje dodawania, odejmowania, mnożenia i dzielenia, zdania można obsługiwać za pomocą znanego logicznego połączenia (lub łączników): negacja (¬, „nie”), rozłączenie (V , „O”), koniunkcja (Ʌ, „i”), warunkowe (→, „jeśli ..., a następnie ...”) i biconditional (↔, „tak i tylko wtedy”).

Aby pracować bardziej ogólnie, zamiast rozważać konkretne zdania, rozważamy zmienne propozycyjne, które reprezentują dowolne zdania, i są zwykle oznaczane małymi literami p, q, r, s itd..

Formuła zdaniowa jest kombinacją zmiennych zdaniowych poprzez część logicznego łącznika. Innymi słowy, jest to kompozycja zmiennych zdaniowych. Zazwyczaj są one oznaczone greckimi literami.

Mówi się, że formuła zdaniowa logicznie implikuje inną, gdy ta ostatnia jest prawdziwa za każdym razem, gdy pierwsza jest prawdziwa. Jest to oznaczone przez:

Gdy logiczna implikacja między dwoma formułami zdaniowymi jest odwrotna - to znaczy, gdy poprzednia implikacja jest ważna również w przeciwnym kierunku - formuły są uważane za logicznie równoważne i są oznaczane przez

Równoważność logiczna jest rodzajem równości między formułami zdaniowymi i pozwala na zastąpienie jednego w drugim, gdy jest to konieczne.

Prawa Morgana

Prawa Morgana składają się z dwóch logicznych ekwiwalencji między dwiema formami zdaniowymi, a mianowicie:

Prawa te pozwalają oddzielić negację dysjunkcji lub koniunkcji, jako negacje zmiennych.

Pierwsze można odczytać w następujący sposób: negacja dysjunkcji jest równa koniunkcji negacji. A drugi brzmi tak: negacja koniunkcji jest rozłączeniem negacji.

Innymi słowy, zaprzeczenie rozłączeniu dwóch zmiennych zdań jest równoważne koniunkcji negacji obu zmiennych. Podobnie zaprzeczenie koniunkcji dwóch zmiennych zdań jest równoważne rozłączeniu negacji obu zmiennych.

Jak wspomniano wcześniej, zastąpienie tej logicznej równoważności pomaga wykazać ważne wyniki, wraz z innymi istniejącymi regułami wnioskowania. Dzięki nim możesz uprościć wiele formuł zdaniowych, aby były bardziej przydatne do pracy.

Poniżej znajduje się przykład dowodu matematycznego wykorzystującego reguły wnioskowania, wśród tych praw Morgana. W szczególności pokazano, że wzór:

jest równoważny z:

Ta ostatnia jest łatwiejsza do zrozumienia i rozwoju.

Demonstracja

Warto wspomnieć, że ważność praw Morgana można wykazać matematycznie. Jednym ze sposobów jest porównanie twoich tabel prawdy.

Zestawy

Te same zasady wnioskowania i pojęcia logiki zastosowane do zdań można również opracować z uwzględnieniem zbiorów. To jest tak zwana algebra Boole'a, po matematyku George'u Boole.

Aby rozróżnić przypadki, konieczna jest zmiana notacji i przeniesienie na zestawy, wszystkie pojęcia już widziane w logice zdaniowej.

Zestaw to zbiór obiektów. Zestawy są oznaczone dużymi literami A, B, C, X, ... a elementy zestawu są oznaczone małymi literami a, b, c, x itd. Gdy element a należy do zbioru X, jest oznaczany przez:

Jeśli nie należy do X, notacja to:

Sposób reprezentacji zestawów polega na umieszczeniu ich elementów w kluczach. Na przykład zbiór liczb naturalnych jest reprezentowany przez:

Zestawy mogą być również reprezentowane bez pisania wyraźnej listy ich elementów. Mogą być wyrażone w formie :. Dwa punkty są odczytywane „tak, że”. Zmienna reprezentująca elementy zestawu jest umieszczana po lewej stronie dwóch punktów, a właściwość lub warunek, który spełniają, jest umieszczany po prawej stronie. To jest:

Na przykład zbiór liczb całkowitych większych niż -4 można wyrazić jako:

Lub ekwiwalentnie i bardziej skrótowo, jako:

Podobnie następujące wyrażenia reprezentują odpowiednio zbiory liczb parzystych i nieparzystych:

Unia, skrzyżowanie i uzupełnienia zestawów

Następnie zobaczymy analogi łącznika logicznego w przypadku zbiorów, które są częścią podstawowych operacji między zestawami.

Unia i skrzyżowanie

Połączenie i przecięcie zbiorów są zdefiniowane odpowiednio w następujący sposób:

Na przykład rozważmy zestawy:

Następnie musisz:

Uzupełnienie

Uzupełnienie zbioru tworzą elementy, które nie należą do tego zestawu (tego samego typu, który reprezentuje oryginał). Uzupełnienie zbioru A jest oznaczone przez:

Na przykład, w ramach liczb naturalnych, dopełnieniem zestawu liczb parzystych jest liczba liczb nieparzystych i odwrotnie.

Aby określić dopełnienie zestawu, musi być jasne od początku uniwersalny lub główny zestaw rozważanych elementów. Na przykład nie jest równe rozważenie uzupełnienia zbioru liczb naturalnych na racjonalnych.

Poniższa tabela pokazuje relację lub analogię istniejącą między operacjami na wcześniej zdefiniowanych zestawach a operacjami łącznymi logiki zdaniowej:

Prawa Morgana dla zbiorów

Wreszcie, prawa Morgana dotyczące zbiorów to:

Słowem: dopełnienie unii jest przecięciem dopełnień, a dopełnieniem przecięcia jest połączenie uzupełnień.

Matematyczny dowód pierwszej równości byłby następujący:

Demonstracja drugiego jest analogiczna.

Referencje

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