- cechy
- Proste lub złożone
- Deklaracyjny
- Brak dwuznaczności
- Z jedną wartością prawdy
- Można go przedstawić symbolicznie
- Zastosowanie łączników lub łączników logicznych
- Tabele prawdy
- Przykłady błędnych propozycji
- Proste propozycje
- Zdania złożone
- Bibliografia
Te błędne twierdzenia są jednostkami logicznymi o zerowej wartości prawdy (fałsz). Ogólnie rzecz biorąc, zdanie jest wyrażeniem językowym (zdaniem) lub matematycznym, na podstawie którego można zapewnić jego prawdziwość lub fałsz. Zdania są podstawą logiki i tworzą bardzo specyficzną dziedzinę zwaną logiką zdań.
W ten sposób główną cechą zdania jest możliwość zadeklarowania go zgodnie z wartością prawdziwości (fałsz lub prawda). Na przykład wyrażenie Juan, idź do sklepu! nie przedstawia zdania, ponieważ nie ma takiej możliwości. Tymczasem zdania takie jak Juan poszedł do sklepu, aby kupić lub Juan idzie do sklepu, tak.

Prosty przykład błędnej propozycji
Na płaszczyźnie matematycznej „10-4 = 6” i „1 + 1 = 3” są zdaniami. Pierwszy przypadek dotyczy prawdziwej propozycji. Ze swojej strony druga jest częścią błędnych twierdzeń.
Więc to, co jest ważne, to nie zdanie czy sposób, w jaki jest przedstawione, ale jego prawdziwa wartość. Jeśli tak, to istnieje również zdanie.
cechy
Proste lub złożone
Zdania błędne mogą być proste (wyrażają tylko jedną wartość prawdy) lub złożone (wyrażają wiele wartości prawdziwości). Zależy to od tego, czy elementy łańcuchowe mają wpływ na komponenty. Te powiązane elementy są nazywane łącznikami lub łącznikami logicznymi.
Przykładem tych pierwszych są błędne propozycje typu: „Koń biały jest czarny”, „2 + 3 = 2555” czy „Wszyscy więźniowie są niewinni”.
Drugiemu typowi odpowiadają zdania takie jak „Pojazd jest czarny lub czerwony”, „Jeśli 2 + 3 = 6, to 3 + 8 = 6”. W tym drugim przypadku obserwuje się związek między co najmniej dwoma prostymi zdaniami.
Podobnie jak w przypadku prawdziwych, fałszywe są splecione z innymi prostymi twierdzeniami, które mogą być fałszywe, a inne prawdziwe. Wynik analizy wszystkich tych zdań prowadzi do wartości prawdziwości, która będzie reprezentatywna dla kombinacji wszystkich zdań.
Deklaracyjny
Błędne twierdzenia są deklaratywne. Oznacza to, że zawsze mają przypisaną wartość prawdy (wartość fałsz).
Jeśli masz na przykład „x jest większe niż 2” lub „x = x”, nie możesz ustalić wartości fałszu (lub prawdomówności), dopóki nie poznasz faktu, że „x” reprezentuje. Dlatego żadne z dwóch wyrażeń nie jest uważane za deklaratywne.
Brak dwuznaczności
Błędne twierdzenia nie mają dwuznaczności. Są skonstruowane w taki sposób, że mają tylko jedną możliwą interpretację. W ten sposób jego prawdziwa wartość jest stała i niepowtarzalna.
Z drugiej strony ten brak dwuznaczności odzwierciedla jego uniwersalność. Zatem mogą one być ogólnie negatywne, szczególnie negatywne i egzystencjalnie negatywne:
- Wszystkie planety krążą wokół Słońca (ogólnie ujemne).
- Niektórzy ludzie wytwarzają chlorofil (szczególnie negatywny).
- Nie ma ptaków lądowych (egzystencjalnie negatywnych).
Z jedną wartością prawdy
Błędne twierdzenia mają tylko jedną wartość prawdziwości, fałszywą. Nie mają jednocześnie prawdziwej wartości. Za każdym razem, gdy to samo zdanie zostanie podniesione, jego wartość pozostanie fałszywa, o ile nie zmienią się warunki, w jakich jest sformułowane.
Można go przedstawić symbolicznie
Zdania błędne podlegają symbolicznemu przedstawieniu. W tym celu pierwsze litery słownika są przypisywane w konwencjonalny sposób w celu ich oznaczenia. Zatem w logice zdań małe litery a, b, c i kolejne litery symbolizują zdania.
Gdy zdaniu zostanie przypisana symboliczna litera, jest ona zachowywana przez całą analizę. Podobnie, jeśli przypisana zostanie odpowiednia wartość prawdy, treść zdania nie będzie już miała znaczenia. Wszystkie późniejsze analizy będą oparte na symbolu i wartości prawdy.
Zastosowanie łączników lub łączników logicznych
Dzięki zastosowaniu powiązań (łączników lub łączników logicznych), kilka prostych błędnych propozycji może zostać połączonych w jedną całość. Te łączniki to koniunkcja (i), dysjunkcja (lub), implikacja (wtedy), równoważność (jeśli i tylko wtedy) i negacja (nie).
Te złącza łączą je z innymi, które mogą, ale nie muszą, być błędne. Wartości prawdziwości wszystkich tych zdań są łączone ze sobą, zgodnie z ustalonymi zasadami, i dają „całkowitą” wartość prawdziwości dla całego zdania złożonego lub argumentu, jak to jest również znane.
Z drugiej strony łączniki dają „całkowitą” wartość prawdziwości zdań, które łączą w łańcuch. Na przykład zła instrukcja połączona z niewłaściwą instrukcją przez łącznik rozłączny zwraca fałszywą wartość dla związku. Ale jeśli jest połączony łańcuchem z prawdziwym stwierdzeniem, wartość prawdziwości zdania złożonego będzie prawdziwa.
Tabele prawdy
Wszystkie możliwe kombinacje wartości prawdy, które mogą przyjąć błędne zdania, są znane jako tablice prawdy. Tabele te są logicznym narzędziem do analizy różnych połączonych ze sobą błędnych propozycji.
Otóż, uzyskana wartość prawdy może być prawdziwa (tautologia), fałszywa (sprzeczność) lub przypadkowa (fałsz lub prawda, w zależności od warunków). Tabele te nie uwzględniają treści każdego z błędnych stwierdzeń, a jedynie ich prawdziwość. Dlatego są uniwersalne.
Przykłady błędnych propozycji
Proste propozycje
Proste zdania mają jedną wartość prawdziwości. W tym przypadku wartość prawda jest fałszywa. Wartość ta jest przypisywana w zależności od osobistego postrzegania rzeczywistości osoby, która ją przypisuje. Na przykład następujące proste instrukcje mają wartość fałszywą:
- Trawa jest niebieska.
- 0 + 0 = 2
- Studiowanie brutalizuje ludzi.
Zdania złożone
Złożone błędne zdania są tworzone z prostych zdań połączonych łącznikami:
- Trawa jest niebieska, a nauka ogłupia ludzi.
- 0 + 0 = 2 lub trawa jest niebieska.
- Jeśli 0 + 0 = 2, to trawa jest niebieska.
- 0 + 0 = 2, a trawa jest niebieska wtedy i tylko wtedy, gdy nauka ogłupia ludzi.
Bibliografia
- Uniwersytet Teksasu w Austin. (s / f). Logika zdań. Zaczerpnięte z cs.utexas.edu.
- Uniwersytet Simona Frasera. (s / f). Logika zdań. Zaczerpnięte z cs.sfu.ca.
- Uniwersytet Old Dominion. (s / f). Propozycja. Zaczerpnięte z cs.odu.edu.
- Internetowa Encyklopedia Filozofii. (s / f). Logika zdań. Zaczerpnięte z iep.utm.edu.
- Encyclopædia Britannica. (2011, kwiecień). Tabela prawdy. Zaczerpnięte z britannica.com.
- Andrade, E.; Cubides, P .; Márquez, C.; Vargas, E. and Cancino, D. (2008). Logika i myślenie formalne. Bogota: Editorial Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Jak robić rzeczy z logiką. New Jersey: Lawrence Erlbaum Associates, Inc.
