- vlastnosti
- Jednoduché alebo zložené
- deklaratívny
- Chýbajúca nejednoznačnosť
- S jedinou pravdivou hodnotou
- Náchylné na symbolické zastúpenie
- Použitie konektorov alebo logických spojov
- Pravdivé tabuľky
- Príklady nesprávnych tvrdení
- Jednoduché návrhy
- Zložené návrhy
- Referencie
Tieto chybné tvrdenia sú logické entity s pravdivostná hodnota nula (false). Vo všeobecnosti je tvrdenie jazykovým (vetným) alebo matematickým vyjadrením, z ktorého je možné zaistiť jeho pravdivosť alebo nepravdivosť. Návrhy sú základom logiky a tvoria veľmi špecifickú oblasť známu ako výroková logika.
Týmto spôsobom je hlavnou charakteristikou ponuky jej možnosť byť vyhlásená podľa jej pravdivej hodnoty (nepravdivá alebo pravdivá). Napríklad výraz Juan, choď do obchodu! nepredstavuje problém, pretože mu chýba táto možnosť. Medzitým sa do obchodu kúpili vety ako Juan alebo Juan do obchodu.
Jednoduchý príklad zlej ponuky
Teraz, v matematickej rovine, „10−4 = 6“ a „1 + 1 = 3“ sú návrhy. Prvý prípad sa týka skutočnej ponuky. Pokiaľ ide o jeho časť, druhá časť je súčasťou chybných tvrdení.
Dôležitý teda nie je návrh alebo spôsob, akým je prezentovaný, ale jeho pravdivá hodnota. Ak existuje, potom existuje aj návrh.
vlastnosti
Jednoduché alebo zložené
Chybné výroky môžu byť jednoduché (vyjadrujú iba jednu hodnotu pravdy) alebo zložené (vyjadrujú viac hodnôt pravdy). Závisí to od toho, či sú vaše komponenty ovplyvnené reťazovými prvkami. Tieto súvisiace prvky sú známe ako konektory alebo logické konektory.
Príkladom prvého sú chybné výroky typu: „Biely kôň je čierny“, „2 + 3 = 2555“ alebo „Všetci väzni sú nevinní“.
Z druhého typu zodpovedajú tvrdenia, ako napríklad „Vozidlo je čierne alebo červené“, „Ak 2 + 3 = 6, potom 3 + 8 = 6“. V posledne menovanom prípade sa sleduje spojenie medzi najmenej dvoma jednoduchými tvrdeniami.
Rovnako ako u tých pravých sú falošné prepojené s inými jednoduchými tvrdeniami, ktoré môžu byť niektoré nesprávne a iné pravdivé. Výsledok analýzy všetkých týchto návrhov vedie k pravdivej hodnote, ktorá bude predstavovať kombináciu všetkých zahrnutých návrhov.
deklaratívny
Chybné návrhy sú deklaratívne. To znamená, že vždy majú priradenú pravdivú hodnotu (falošná hodnota).
Ak máte napríklad „x je väčšie ako 2“ alebo „x = x“, nemôžete určiť hodnotu klamstva (alebo pravdivosti), kým nebudete poznať skutočnosť, že „x“ predstavuje. Preto sa ani jeden z týchto výrazov nepovažuje za deklaratívny.
Chýbajúca nejednoznačnosť
Chybné tvrdenia nie sú jednoznačné. Sú konštruované tak, že majú iba jeden možný výklad. Týmto spôsobom je jeho pravdivá hodnota pevná a jedinečná.
Na druhej strane tento nedostatok nejednoznačnosti odráža jeho univerzálnosť. Môžu teda byť všeobecne negatívne, obzvlášť negatívne a existenciálne negatívne:
- Všetky planéty sa točia okolo Slnka (všeobecne negatívne).
- Niektorí ľudia produkujú chlorofyl (zvlášť negatívny).
- Neexistujú žiadne suchozemské vtáky (existenciálne negatívne).
S jedinou pravdivou hodnotou
Chybné výroky majú iba jednu pravdivú hodnotu, nepravdivé. Nemajú súčasne skutočnú hodnotu. Zakaždým, keď sa predloží rovnaká ponuka, jej hodnota zostane nepravdivá, pokiaľ sa podmienky, za ktorých sa formuluje, nezmenia.
Náchylné na symbolické zastúpenie
Chybné návrhy môžu byť symbolicky zastúpené. Na tento účel sa prvé písmená slovnej zásoby prideľujú tradičným spôsobom na ich označenie. Podľa výrokovej logiky teda malé písmená a, b, c a nasledujúce písmená symbolizujú výroky.
Akonáhle je návrhu pridelený symbolický list, je počas analýzy zachovaný. Podobne, ak je priradená zodpovedajúca hodnota pravdy, na obsahu návrhu už nebude záležať. Každá následná analýza bude založená na symbole a hodnote pravdy.
Použitie konektorov alebo logických spojov
Použitím prepojení (konektorov alebo logických spojov) je možné zostaviť niekoľko jednoduchých nesprávnych tvrdení a vytvoriť kombináciu. Tieto konektory sú konjunkcia (a), disjunkcia (alebo), implikácia (vtedy), ekvivalencia (ak a iba vtedy) a negácia (nie).
Tieto konektory ich spájajú s ostatnými, ktorí môžu alebo nemusia byť tiež chybní. Hodnoty pravdy všetkých týchto výrokov sa kombinujú navzájom podľa pevných princípov a poskytujú „celkovú“ hodnotu pravdy pre celý zložený výrok alebo argument, ako je tiež známe.
Na druhej strane konektory dávajú „celkovej“ pravdivej hodnote tvrdení, ktoré spájajú. Napríklad nesprávny príkaz pripútaný k nesprávnemu príkazu prostredníctvom disjunkčného konektora vracia falošnú hodnotu pre zlúčeninu. Ale ak je pripútaný k pravdivému výroku, pravdivá hodnota zloženého výroku bude pravdivá.
Pravdivé tabuľky
Všetky možné kombinácie hodnôt pravdy, ktoré môžu chybné výroky prijať, sú známe ako tabuľky pravdy. Tieto tabuľky sú logickým nástrojom na analýzu rôznych vzájomne prepojených chybných tvrdení.
Teraz môže byť získaná pravda pravdivá (tautológia), nepravdivá (rozpor) alebo podmienená (nepravdivá alebo pravdivá, v závislosti od podmienok). Tieto tabuľky nezohľadňujú obsah každého z chybných tvrdení, iba ich pravdivú hodnotu. Preto sú univerzálne.
Príklady nesprávnych tvrdení
Jednoduché návrhy
Jednoduché výroky majú jedinú pravdu. V tomto prípade je hodnota pravdy nepravdivá. Táto hodnota sa priraďuje v závislosti od osobného vnímania reality osoby, ktorá ju priraďuje. Napríklad nasledujúce jednoduché príkazy majú nesprávnu hodnotu:
- Tráva je modrá.
- 0 + 0 = 2
- Štúdium brutalizuje ľudí.
Zložené návrhy
Zložené chybné vety sú vytvorené z jednoduchých viet, ktoré sú spojené pomocou konektorov:
- Tráva je modrá a štúdium ľudí stultifikuje.
- 0 + 0 = 2 alebo tráva je modrá.
- Ak 0 + 0 = 2, potom je tráva modrá.
- 0 + 0 = 2 a tráva je modrá vtedy a len vtedy, ak štúdium ľudí potuluje.
Referencie
- University of Texas v Austine. (s / f). Propozičná logika. Prevzaté z adresy cs.utexas.edu.
- Univerzita Simona Frasera. (s / f). Propozičná logika. Prevzaté z cs.sfu.ca.
- Univerzita Old Dominion. (s / f). Proposition. Prevzaté z cs.odu.edu.
- Internetová encyklopédia filozofie. (s / f). Propozičná logika. Prevzaté z iep.utm.edu.
- Encyclopædia Britannica. (2011, apríl). Pravdivostná tabuľka. Prevzaté z lokality britannica.com.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. a Cancino, D. (2008). Logické a formálne myslenie. Bogota: Redakcia Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Ako robiť veci s logikou. New Jersey: Lawrence Erlbaum Associates, Inc.