Logika zdań jest gałęzią matematyki badającą logiczne relacje między sądami (lub stwierdzeniami, zdaniami, twierdzeniami) traktowanymi jako całość i połączonymi spójnikami logicznymi.

W tym artykule szczegółowo omówiliśmy logikę zdań i tematy pokrewne.

Spis treści

• Co to jest logika?
• Logika zdań
• Tabela prawdy
• 1. Negacja
• 2. Koniunkcja
• 3. Dysjunkcja
• 4. Ekskluzywny Or
• 5. Implikacja
• 6. Implikacja dwuwarunkowa lub podwójna

Co to jest logika?

Logika jest podstawą wszelkiego rozumowania matematycznego i wszelkiego rozumowania automatycznego. Reguły logiki określają znaczenie zdań matematycznych. Reguły te pomagają nam zrozumieć i uzasadnić stwierdzenia takie jak:

exists~x~such~that~x~ eq~a^2~+~b^2,~where~:x,~a,~bin~Z

Co w prostym języku angielskim oznacza Istnieje liczba całkowita, która nie jest sumą dwóch kwadratów .

Znaczenie logiki matematycznej

Reguły logiki nadają precyzyjne znaczenie twierdzeniom matematycznym. Reguły te służą do rozróżniania ważnych i nieprawidłowych argumentów matematycznych. Oprócz swojego znaczenia w rozumieniu rozumowania matematycznego, logika ma liczne zastosowania w informatyce, począwszy od projektowania obwodów cyfrowych po budowę programów komputerowych i weryfikację poprawności programów.

Logika zdań

Co to jest propozycja? Twierdzenie jest podstawowym elementem logiki. Definiuje się je jako zdanie oznajmujące, które jest albo prawdą, albo fałszem, ale nie obydwoma. The Wartość prawdy zdania ma wartość Prawda (oznaczana jako T), jeśli jest to zdanie prawdziwe, i Fałsz (oznaczana jako F), jeśli jest to zdanie fałszywe. Na przykład,

1. Słońce wschodzi na wschodzie i zachodzi na zachodzie.
2. 1 + 1 = 2
3. „b” jest samogłoską.

Wszystkie powyższe zdania są zdaniami, gdzie pierwsze dwa są prawidłowe (prawda), a trzecie jest nieprawidłowe (fałsz). Niektóre zdania, które nie mają wartości logicznej lub mogą mieć więcej niż jedną wartość logiczną, nie są zdaniami. Na przykład,

1. Która godzina?
2. Idź na zewnątrz i się pobaw
3. x + 1 = 2

Powyższe zdania nie są twierdzeniami, gdyż dwa pierwsze nie mają wartości logicznej, natomiast trzecie może być prawdziwe lub fałszywe. Aby reprezentować propozycje, zmienne zdań są używane. Zgodnie z konwencją zmienne te są reprezentowane przez małe alfabety, takie jakp,:q,:r,:s . Dziedzina logiki zajmująca się zdaniami nazywa się rachunek zdań Lub logika zdań . Obejmuje to również tworzenie nowych propozycji przy użyciu istniejących. Zdania zbudowane przy użyciu jednego lub większej liczby zdań nazywane są propozycje złożone . Zdania są łączone ze sobą za pomocą Łączniki logiczne Lub Operatory logiczne .

Logika zdań

dla pętli basha

Tabela prawdy

Ponieważ musimy znać wartość logiczną zdania we wszystkich możliwych scenariuszach, rozważamy wszystkie możliwe kombinacje zdań, które są połączone spójnikami logicznymi w celu utworzenia danego zdania złożonego. To zestawienie wszystkich możliwych scenariuszy w formie tabelarycznej nazywa się a tabela prawdy . Najczęstsze łączniki logiczne-

1. Negacja

Jeślip jest zdaniem, to zaprzeczeniemp jest oznaczony przez eg p , co w tłumaczeniu na prosty angielski oznacza- To nie jest tak, że P lub po prostu nie P . Prawdziwa wartość -P jest przeciwieństwem wartości logicznej P . Tabela prawdy -P Jest:

Przykład, Zaprzeczenie: Dzisiaj pada deszcz, czy To nie jest tak, że dzisiaj pada, czy po prostu Dzisiaj nie pada.

2. Koniunkcja

Dla dowolnych dwóch propozycjip Iq , ich koniunkcja jest oznaczona przezpwedge q , co znaczyp Iq . Spójnikpwedge q jest prawdą, gdy obap Iq są prawdziwe, w przeciwnym razie fałszywe. Tabela prawdypwedge q Jest:

Przykład, Łączenie zdańp – Dziś jest piątek iq - Pada dzisiaj,pwedge q jest: Dziś jest piątek i dzisiaj pada deszcz. To twierdzenie jest prawdziwe tylko w deszczowe piątki i jest fałszywe w każdy inny deszczowy dzień lub w piątki, kiedy nie pada deszcz.

3. Dysjunkcja

Dla dowolnych dwóch propozycjip Iq , ich alternatywa jest oznaczona przezpvee q , co znaczyp Lubq . Dysjunkcjapvee q jest prawdą, gdy albop Lubq jest prawdą, w przeciwnym razie fałszem. Tabela prawdypvee q Jest:

Przykład, Dysjunkcja zdańp – Dziś jest piątek iq - Pada dzisiaj,pvee q Czy dzisiaj jest piątek, czy dzisiaj pada deszcz. Twierdzenie to jest prawdziwe w każdy dzień będący piątkiem lub dniem deszczowym (w tym deszczowe piątki) i jest fałszywe w każdy dzień inny niż piątek, kiedy również nie pada deszcz.

4. Ekskluzywny Or

Dla dowolnych dwóch propozycjip Iq , ich wyłączność lub jest oznaczona przezpoplus q , co oznacza albop Lubq ale nie oba. Ekskluzywny lubpoplus q jest prawdą, gdy albop Lubq jest prawdą, a fałszem, gdy oba są prawdziwe lub oba są fałszywe. Tabela prawdypoplus q Jest:

Przykład, Ekskluzywne lub z propozycjip – Dziś jest piątek iq - Pada dzisiaj,poplus q jest albo dzisiaj jest piątek, albo dzisiaj pada deszcz, ale nie jedno i drugie. To twierdzenie jest prawdziwe w każdy dzień, który jest piątkiem lub dniem deszczowym (nie licząc deszczowych piątków) i jest fałszywe w każdym innym dniu niż piątek, kiedy nie pada deszcz lub deszczowe piątki.

5. Implikacja

Dla dowolnych dwóch propozycjip Iq , stwierdzenie ifp Następnieq nazywa się implikacją i jest oznaczana przezp ightarrow q . W implikacjip ightarrow q ,p nazywa się hipoteza Lub poprzednik Lub przesłanka Iq nazywa się wniosek Lub konsekwencja . Implikacja jest takap ightarrow q nazywa się także A instrukcja warunkowa . Implikacja jest fałszywa, gdyp jest prawdą iq jest fałszywe, w przeciwnym razie jest prawdą. Tabela prawdyp ightarrow q Jest:

Ktoś mógłby się zastanawiać, dlaczego tak jestp ightarrow q prawda kiedyp to fałsz. Dzieje się tak, ponieważ implikacja gwarantuje, że kiedyp Iq są prawdziwe, to implikacja jest prawdziwa. Ale implikacja niczego nie gwarantuje, gdy przesłankap to fałsz. Od tego czasu nie ma możliwości sprawdzenia, czy implikacja jest fałszywap nie wydarzyło się. Sytuacja ta jest podobna do postawy Niewinny do udowodnienia winy, co oznacza, że ​​implikacjap ightarrow q uważa się za prawdziwe, dopóki nie zostanie udowodnione, że jest fałszywe. Ponieważ nie możemy wywołać implikacjip ightarrow q fałsz kiedyp jest fałszywe, naszą jedyną alternatywą jest nazwanie go prawdą.

Wynika to z Zasada eksplozji który mówi: Zdanie fałszywe sugeruje cokolwiek. Zdania warunkowe odgrywają bardzo ważną rolę w rozumowaniu matematycznym, dlatego do wyrażenia używa się różnorodnej terminologiip ightarrow q , z których niektóre są wymienione poniżej.

Jeśli p, to qp jest wystarczające dla qq, gdy pa warunkiem koniecznym dla p jest qp tylko wtedy, gdy qq chyba, że ​​z p wynika ≠pq

Przykład, Jeśli jest piątek, to dzisiaj pada deszcz, to propozycja, która ma formęp ightarrow q . Powyższe twierdzenie jest prawdziwe, jeśli nie jest piątek (przesłanka jest fałszywa) lub jeśli jest piątek i pada deszcz, a jest fałszywe, gdy jest piątek, ale nie pada deszcz.

programowanie w tablicach C

6. Implikacja dwuwarunkowa lub podwójna

Dla dowolnych dwóch propozycjip Iq , twierdzeniep wtedy i tylko wtedy, gdy (iff)q nazywa się dwuwarunkowym i jest oznaczony przezpleftrightarrow q . Twierdzeniepleftrightarrow q nazywa się także A dwuimplikacja .pleftrightarrow q ma taką samą wartość logiczną jak(p ightarrow q) wedge (q ightarrow p) Implikacja jest prawdziwa, gdyp Iq mają te same wartości logiczne, w przeciwnym razie są fałszywe. Tabela prawdypleftrightarrow q Jest:

Inne popularne sposoby wyrażania siępleftrightarrow q Czy:

p jest konieczne i wystarczające dla qif p, to q i odwrotnie, jeśli q

Przykład: Dzisiaj pada deszcz wtedy i tylko wtedy, gdy dzisiaj jest piątek. jest zdaniem mającym postaćpleftrightarrow q . Powyższe twierdzenie jest prawdziwe, jeśli nie jest piątek i nie pada deszcz, lub jeśli jest piątek i pada deszcz, a jest fałszywe, gdy nie jest piątek lub nie pada deszcz. Ćwiczenia:

przeczytaj z CSV Java

1) Rozważ następujące stwierdzenia:

• P: Dobre telefony komórkowe nie są tanie.
• P: Tanie telefony komórkowe nie są dobre.
• L: P implikuje Q
• M: Q implikuje P
• N: P jest równoważne Q

Które z poniższych stwierdzeń dotyczących L, M i N jest POPRAWNE? (Gate 2014)

(A) Tylko L jest PRAWDZIWE.

(B) Tylko M jest PRAWDZIWE.

(C) Tylko N jest PRAWDZIWE.

(D) L, M i N są PRAWDĄ.

Aby zapoznać się z rozwiązaniem, zobacz BRAMA | GATE-CS-2014-(zestaw-3) | Pytanie 11

2) Które z poniższych nie jest równoważne p?q (Gate 2015)

(A)( eg p vee q)wedge(p vee eg q ) (B)( eg p vee q)wedge(q ightarrow p ) (C)( eg p wedge q)vee(p wedge eg q ) (D)( eg p wedge eg q)vee(p wedge q )

Aby zapoznać się z rozwiązaniem, zobacz BRAMA | GATE-CS-2015 (zestaw 1) | Pytanie 65