Nieprawidłowe cechy i przykłady propozycji
The złe propozycje są to jednostki logiczne o prawdziwej wartości null (false). Ogólnie rzecz biorąc, twierdzenie jest językowym (zdanie) lub matematycznym wyrażeniem, od którego można zapewnić jego prawdziwość lub fałsz. Zdania są podstawą logiki i tworzą bardzo specyficzną dziedzinę zwaną logiką propozycyjną.
W ten sposób główną cechą zdania jest jego możliwość zadeklarowania zgodnie z jego wartością prawdy (fałsz lub prawda). Na przykład wyrażenie ¡Juan, idź do sklepu! nie przedstawia propozycji, ponieważ nie ma takiej możliwości. W międzyczasie modlitwy, takie jak Juan, poszły do sklepu, aby kupić, lub Juan idzie do sklepu, jeśli go mają.
Teraz, w płaszczyźnie matematycznej, „10-4 = 6” i „1 + 1 = 3” są propozycjami. Pierwszy przypadek to prawdziwa propozycja. Ze swojej strony drugi jest częścią złych propozycji.
Ważną rzeczą nie jest więc propozycja ani sposób jej przedstawienia, ale wartość prawdy. Jeśli istnieje, to jest też propozycja.
Indeks
- 1 Charakterystyka
- 1.1 Proste lub złożone
- 1.2 Deklaratywny
- 1.3 Brak dwuznaczności
- 1.4 Z jedną wartością prawdy
- 1.5 Podatny na bycie reprezentowanym symbolicznie
- 1.6 Stosowanie złączy lub złączy logicznych
- 2 tabele prawdy
- 3 Przykłady niewłaściwych propozycji
- 3.1 Proste propozycje
- 3.2 Złożone propozycje
- 4 odniesienia
Funkcje
Proste lub złożone
Złe twierdzenia mogą być proste (wyrażają tylko jedną wartość prawdy) lub złożone (wyrażają wiele wartości prawdy). Zależy to od tego, czy na elementy składowe wpływają elementy łączące. Te elementy relacyjne są znane jako łączniki lub łączniki logiczne.
Przykładem pierwszego są niewłaściwe zdania typu: „Biały koń jest czarny”, „2 + 3 = 2555” lub „Wszyscy więźniowie są niewinni”.
Z drugiego typu odpowiadają zdania takie jak „Pojazd jest czarny lub jest czerwony”, „Jeśli 2 + 3 = 6, a następnie 3 + 8 = 6”. W tym drugim przypadku obserwuje się związek między co najmniej dwiema prostymi twierdzeniami.
Tak jak w przypadku prawdziwych, fałszywe przeplatają się z innymi prostymi twierdzeniami, które mogą być fałszywe, a inne prawdziwe. Wynik analizy wszystkich tych twierdzeń prowadzi do wartości prawdy, która będzie reprezentatywna dla kombinacji wszystkich zaangażowanych propozycji.
Deklaratywny
Błędne zdania są deklaratywne. Oznacza to, że zawsze mają powiązaną wartość prawdy (wartość false).
Jeśli masz na przykład „x jest większe niż 2” lub „x = x”, nie możesz ustawić wartości fałszu (lub prawdy), dopóki nie wiesz, że „x” reprezentuje. Dlatego żadne z tych dwóch wyrażeń nie jest uważane za deklaratywne.
Brak dwuznaczności
Złe propozycje nie mają dwuznaczności. Są skonstruowane w taki sposób, że mają jedną możliwą interpretację. W ten sposób jego wartość prawdy jest stała i wyjątkowa.
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 (powszechnie negatywne).
- Niektórzy ludzie produkują chlorofil (szczególnie negatywny).
- Nie ma ptaków lądowych (egzystencjalnie negatywnych).
Z jedną wartością prawdy
Złe twierdzenia mają tylko jedną wartość prawdy, fałszywą. Nie mają prawdziwej wartości jednocześnie. Za każdym razem, gdy podniesiona zostanie ta sama propozycja, jej wartość pozostanie fałszywa, dopóki warunki, w których jest sformułowana, nie ulegną zmianie.
Podatny na symboliczne przedstawienie
Złe twierdzenia mogą być reprezentowane w symboliczny sposób. W tym celu pierwsze litery słownictwa są przypisywane w konwencjonalny sposób, aby je oznaczyć. Tak więc w logice zdaniowej małe litery a, b, c oraz kolejne litery symbolizują zdania.
Po przypisaniu propozycji symbolicznej litery jest ona zachowywana podczas analizy. W ten sam sposób, przypisując odpowiednią wartość prawdy, treść wniosku nie będzie miała znaczenia. Wszystkie kolejne analizy będą oparte na symbolu i wartości prawdy.
Zastosowanie złączy lub złączy logicznych
Dzięki zastosowaniu łańcuchów (łączników lub łączników logicznych), kilka prostych błędnych propozycji może się połączyć i utworzyć kompozyt. Te konektory to spójnik (y), dysjunkcja (o), implikacja (wtedy), równoważność (jeśli i tylko wtedy) i negacja (nie).
Złącza te odnoszą je do innych, które mogą być również błędne lub nie. Wartości prawdy wszystkich tych twierdzeń są łączone ze sobą, zgodnie z ustalonymi zasadami, i dają „całkowitą” wartość prawdy dla całego twierdzenia lub argumentu złożonego, ponieważ jest on również znany.
Z drugiej strony łączniki dają wartość prawdy „suma” twierdzeń, które łączą. Na przykład błędna instrukcja połączona z błędnym za pomocą złącza dysjunkcji generuje fałszywą wartość dla kompozytu. Ale jeśli jest ona powiązana z prawdziwym twierdzeniem, wartość prawdy propozycji złożonej będzie prawdziwa.
Tabele prawdy
Wszystkie możliwe kombinacje wartości prawdy, które mogą przyjmować błędne twierdzenia, są znane jako tabele prawdy. Tabele te są logicznym narzędziem do analizy kilku błędnych instrukcji połączonych ze sobą.
Uzyskana wartość prawdy może być prawdziwa (tautologia), fałszywa (sprzeczność) lub warunkowa (fałsz lub prawda, w zależności od warunków). Tabele te nie uwzględniają treści każdej błędnej propozycji, a jedynie ich wartość prawdy. Dlatego są uniwersalne.
Przykłady niewłaściwych propozycji
Proste propozycje
Proste propozycje mają wyjątkową wartość prawdy. W tym przypadku wartość prawdy jest fałszywa. Wartość ta jest przypisywana w zależności od osobistej percepcji rzeczywistości. Na przykład następujące proste zdania mają fałszywą wartość:
- Trawa jest niebieska.
- 0 + 0 = 2
- Studiuj oszałamia ludzi.
Złożone propozycje
Złożone błędne zdania są utworzone z prostych łączy, które są połączone za pomocą łączników:
- Trawa jest niebieska, a studiowanie brutalizuje ludzi.
- 0 + 0 = 2 lub trawa jest niebieska.
- Jeśli 0 + 0 = 2, trawa jest niebieska.
- 0 + 0 = 2, a trawa jest niebieska, jeśli tylko bada ogłuszanie ludzi.
Referencje
- University of Texas w Austin. (s / f). Logika zdaniowa. Zrobiono z cs.utexas.edu.
- Uniwersytet Simona Frasera. (s / f). Logika zdaniowa. Zrobiono z cs.sfu.ca.
- Uniwersytet Old Dominion. (s / f). Propozycja Zrobiono z cs.odu.edu.
- Internetowa Encyklopedia Filozofii. (s / f). Logika zdaniowa. Zrobione z iep.utm.edu.
- Encyclopædia Britannica. (2011, kwiecień). Tabela prawdy. Zrobione z britannica.com.
- Andrade, E.; Cubides, P.; Márquez, C; Vargas, E. i Cancino, D. (2008). Logiczne i formalne myślenie. Bogota: Universidad del Rosario.
- Grant Luckhardt, C; Bechtel, W. (1994). Jak robić rzeczy z logiką. New Jersey: Lawrence Erlbaum Associates, Inc.