Nesprávne charakteristiky a príklady výrokov



nesprávne výroky sú to logické entity s pravdivou hodnotou null (false). Všeobecne platí, že problém je lingvistická (veta) alebo matematické vyjadrenie, z ktorého možno zaručiť jeho pravdu alebo falošnosť. Propozície sú základom logiky a tvoria veľmi špecifické pole známe ako výroková logika.

Takýmto spôsobom je hlavnou charakteristikou výroku jej možnosť byť deklarovaná podľa svojej pravdivej hodnoty (nepravdivé alebo pravdivé). Napríklad výraz ¡Juan, choďte do obchodu! nepredstavuje návrh, pretože nemá túto možnosť. Medzitým, modlitby ako Juan šiel do obchodu kúpiť alebo Juan ide do obchodu, ak majú.

Teraz, v matematickej rovine, "10-4 = 6" a "1 + 1 = 3" sú výroky. Prvý prípad je pravdivý návrh. Druhá časť je súčasťou nesprávnych návrhov.

Dôležitá vec teda nie je návrh ani spôsob, akým je prezentovaný, ale jeho pravdivosť. Ak existuje, potom je tu aj návrh.

index

  • 1 Charakteristiky
    • 1.1 Jednoduché alebo zložené
    • 1.2 Deklaratívny
    • 1.3 Chýbajúca nejednoznačnosť
    • 1.4 S jednou pravdivou hodnotou
    • 1.5 Citlivé na symbolické zastúpenie
    • 1.6 Použitie konektorov alebo logických konektorov
  • 2 Tabuľky pravdy
  • 3 Príklady nesprávnych návrhov
    • 3.1 Jednoduché návrhy
    • 3.2 Zložené návrhy
  • 4 Odkazy

rysy

Jednoduchá alebo zlúčenina

Zlé výroky môžu byť jednoduché (vyjadrujú iba jednu pravdu) alebo zložené (vyjadrujú viac hodnôt pravdy). To závisí od toho, či sú jeho komponenty ovplyvnené reťazovými prvkami. Tieto relačné prvky sú známe ako konektory alebo logické pripojenie.

Príkladom prvých sú nesprávne výroky typu: "Biely kôň je čierny", "2 + 3 = 2555" alebo "Všetci väzni sú nevinní".

Z druhého typu zodpovedajú výroky ako "Vozidlo je čierne alebo červené", "Ak 2 + 3 = 6, potom 3 + 8 = 6". V druhom prípade sa pozoruje spojenie medzi aspoň dvoma jednoduchými návrhmi.  

Rovnako ako u tých pravých, aj tie falošné sa prelínajú s inými jednoduchými výrokami, ktoré môžu byť nepravdivé a iné pravdivé. Výsledok analýzy všetkých týchto výrokov vedie k hodnote pravdy, ktorá bude reprezentovať kombináciu všetkých obsiahnutých návrhov.

vy deklaratórnu

Zlé výroky sú deklaratívne. To znamená, že vždy majú priradenú hodnotu pravdy (nepravdivá hodnota).

Ak máte napríklad „x je väčšie ako 2“ alebo „x = x“, nemôžete nastaviť hodnotu nepravdy (alebo pravdy), kým nepoznáte skutočnosť, že „x“ predstavuje. Preto ani jeden z týchto dvoch výrazov nie je považovaný za deklaratívny.

Chýbajúca nejednoznačnosť

Zlé výroky nemajú žiadne nejasnosti. Sú konštruované takým spôsobom, že majú jediný možný výklad. Týmto spôsobom je jeho pravdivosť pravdivá a jedinečná.

Na druhej strane táto nejednoznačnosť odráža jej univerzálnosť. Môžu byť teda všeobecne negatívne, obzvlášť negatívne a existenciálne negatívne:

  • Všetky planéty sa točia okolo Slnka (univerzálne negatívne).
  • Niektorí ľudia produkujú chlorofyl (obzvlášť negatívny).
  • Neexistujú žiadne vtáky na zemi (existenciálne negatívne).  

S jednou pravdivou hodnotou

Zlé výroky majú len jednu pravdu, falošnú. Nemajú skutočnú hodnotu súčasne. Zakaždým, keď sa vznesie ten istý návrh, jeho hodnota zostane nepravdivá, pokiaľ sa nezmenia podmienky, v ktorých je formulovaná.

Citlivý na symbolické zastúpenie

Zlé výroky môžu byť reprezentované symbolickým spôsobom. Na tento účel sú prvé písmená slovnej zásoby priradené konvenčným spôsobom na ich označenie. Teda vo výrokovej logike malé písmená a, b, c a nasledujúce symboly symbolizujú výroky.

Akonáhle je návrh pridelený symbolický list, je zachovaná v priebehu analýzy. Rovnakým spôsobom, priradená zodpovedajúca hodnota pravdy, obsah návrhu už nebude záležať. Všetky následné analýzy budú založené na symbole a pravdivosti.

Použitie konektorov alebo logických konektorov

Použitím reťazenia (konektory alebo logické spoje) sa môže spojiť niekoľko jednoduchých chybných výrokov a vytvoriť kompozit. Tieto konektory sú spojka (y), disjunkcia (o), implikácia (potom), ekvivalencia (ak a len ak) a negácia (nie).

Tieto konektory sa vzťahujú na iné, ktoré môžu byť nesprávne alebo nie. Hodnoty pravdivosti všetkých týchto výrokov sú navzájom kombinované, v súlade s pevnými princípmi a dávajú „celkovú“ pravdivú hodnotu pre celý zložený návrh alebo argument, ako je známe.

Na druhej strane, konektory dávajú pravde hodnotu "celkom" výrokov, ktoré reťazec. Napríklad chybné vyhlásenie pripojené k chybnému prehláseniu cez disjunkčný konektor vyvolá pre kompozit falošnú hodnotu. Ale ak je to spojené s pravdivým tvrdením, pravdivosť hodnoty zloženého návrhu bude pravdivá.

Tabuľky pravdy

Všetky možné kombinácie pravdivých hodnôt, ktoré mylné výroky môžu mať, sú známe ako pravdivé tabuľky. Tieto tabuľky sú logickým nástrojom na analýzu viacerých chybných príkazov spojených dohromady.

Získaná hodnota pravdy môže byť pravdivá (tautológia), falošná (protirečenie) alebo podmienená (nepravdivá alebo pravdivá, v závislosti od podmienok). Tieto tabuľky neberú do úvahy obsah každej z chybných výrokov, iba ich pravdivosť. Preto sú univerzálne.

Príklady nesprávnych návrhov

Jednoduché návrhy

Jednoduché výroky majú jedinečnú hodnotu pravdy. V tomto prípade je pravdivá hodnota nepravdivá. Táto hodnota je priradená v závislosti od osobného vnímania reality. Napríklad nasledujúce jednoduché výroky majú falošnú hodnotu:

  1. Tráva je modrá.
  2. 0 + 0 = 2
  3. Štúdium omráči ľudí.

Zložené návrhy

Zložené chybné výroky sú tvorené z jednoduchých prepojení, ktoré sú prepojené cez konektory:

  1. Tráva je modrá a štúdium brutalizuje ľudí.
  2. 0 + 0 = 2 alebo tráva je modrá.
  3. Ak 0 + 0 = 2, potom je tráva modrá.
  4. 0 + 0 = 2, a tráva je modrá, len ak študuje omráčení ľudí.

referencie

  1. Texaská univerzita v Austine. (s / f). Propozičná logika. Prevzaté z cs.utexas.edu.
  2. Univerzita Simona Frasera. (s / f). Propozičná logika. Prevzaté z cs.sfu.ca.
  3. Stará univerzita Dominion. (s / f). Proposition. Prevzaté z cs.odu.edu.
  4. Internetová encyklopédia filozofie. (s / f). Propozičná logika. Prevzaté z iep.utm.edu.
  5. Encyclopædia Britannica. (2011, apríl). Tabuľka pravdy. Prevzaté z britannica.com.
  6. Andrade, E.; Cubides, P; Márquez, C.; Vargas, E. a Cancino, D. (2008). Logické a formálne myslenie. Bogota: Redakcia Universidad del Rosario.
  7. Grant Luckhardt, C.; Bechtel, W. (1994). Ako robiť veci s logikou. New Jersey: Lawrence Erlbaum Associates, Inc.