Nesprávné charakteristiky a příklady výroků



špatné výroky jsou to logické entity s pravdivou hodnotou null (false). Obecně řečeno, problém je lingvistická (věta) nebo matematické vyjádření, ze kterého může být zajištěna jeho pravda nebo falešnost. Propozice jsou základem logiky a tvoří velmi specifické pole známé jako výroková logika.

Tímto způsobem je hlavní charakteristikou tvrzení její možnost být deklarován podle své pravdivé hodnoty (nepravdivé nebo pravdivé). Například výraz ¡Juan, jít do obchodu! nepředstavuje návrh, protože tuto možnost postrádá. Mezitím, modlitby jako Juan šel do obchodu koupit nebo Juan jde do obchodu, pokud mají.

Nyní, v matematické rovině, “10-4 = 6” a “1 + 1 = 3” jsou návrhy. První případ je pravdivý návrh. Druhá část je součástí nesprávných návrhů.

Důležitou věcí tedy není tvrzení ani způsob, jak je prezentován, ale jeho pravdivost. Je-li jeden, pak je tu i tvrzení.

Index

  • 1 Charakteristika
    • 1.1 Jednoduchá nebo směsná
    • 1.2 Deklarativní
    • 1.3 Nejednoznačnost
    • 1.4 S jednou pravdivou hodnotou
    • 1.5 Citlivý na symbolické zastoupení
    • 1.6 Použití konektorů nebo logických konektorů
  • 2 Tabulky pravdy
  • 3 Příklady špatných návrhů
    • 3.1 Jednoduché návrhy
    • 3.2 Složené návrhy
  • 4 Odkazy

Vlastnosti

Jednoduché nebo složené

Nesprávné výroky mohou být jednoduché (vyjadřují pouze jednu pravdu) nebo složené (vyjadřují více hodnot pravdy). To závisí na tom, zda jsou jeho komponenty ovlivněny prvky řetězení. Tyto relační prvky jsou známé jako konektory nebo logické připojení.

Příklad první jsou špatné výroky typu: "Bílý kůň je černý", "2 + 3 = 2555" nebo "Všichni vězni jsou nevinní".

Druhý typ odpovídá propozici jako "vozidlo je černé nebo červené", "pokud 2 + 3 = 6, pak 3 + 8 = 6". V posledně uvedeném je dodržena vazba mezi alespoň dvěma jednoduchými výroky.  

Stejně jako u pravých jsou i ty falešné propojeny s jinými jednoduchými výroky, které mohou být falešné a jiné pravdivé. Výsledek analýzy všech těchto výroků vede k hodnotě pravdy, která bude reprezentovat kombinaci všech obsažených návrhů.

Deklarativní

Chybné výroky jsou deklarativní. To znamená, že vždy mají přiřazenou hodnotu pravdy (false value).

Pokud máte například „x je větší než 2“ nebo „x = x“, nemůžete nastavit hodnotu nepravosti (nebo pravdy), dokud neznáte skutečnost, že „x“ představuje. Proto žádný z obou výrazů není považován za deklarativní.

Nedostatek dvojznačnosti

Nesprávné výroky nemají jednoznačnost. Jsou konstruovány tak, že mají jednotný možný výklad. Jeho pravdivostní hodnota je tedy pevná a jedinečná.

Na druhé straně tento nedostatek nejednoznačnosti odráží jeho univerzálnost. Mohou tedy být všeobecně negativní, zvláště negativní a existenciálně negativní:

  • Všechny planety se točí kolem slunce (univerzálně negativní).
  • Někteří lidé produkují chlorofyl (zvláště negativní).
  • Neexistují žádné pozemní ptáky (existenciálně negativní).  

S jednou pravdivou hodnotou

Chybné výroky mají pouze jednu pravdu, falešnou. Současně nemají skutečnou hodnotu. Pokaždé, když je vznesen stejný problém, jeho hodnota zůstane nepravdivá, dokud se podmínky, za kterých je formulován, nezmění.

Citlivý na symbolické zastoupení

Nesprávné výroky mohou být reprezentovány symbolickým způsobem. Za tímto účelem jsou první písmena slovní zásoby přiřazena konvenčním způsobem, aby je označila. Ve výrokové logice tedy malá písmena a, b, c a následující písmena symbolizují výroky.

Jakmile byl návrh přiřazen symbolický dopis, je udržován v průběhu analýzy. Stejným způsobem, přiřazení odpovídající hodnoty pravdy, obsah návrhu již nebude záležet. Všechny následné analýzy budou založeny na symbolu a pravdivosti.

Použití konektorů nebo logických konektorů

Díky použití řetězení (spojek nebo logických spojek) se může spojit několik jednoduchých chybných tvrzení a vytvořit kompozit. Tyto konektory jsou konjunkce (y), disjunkce (o), implikace (pak), ekvivalence (jestliže a jen jestliže) a negace (ne).

Tyto konektory se vztahují k ostatním, které mohou být také špatné nebo ne. Hodnoty pravdivosti všech těchto tvrzení jsou v souladu s pevnými principy navzájem kombinovány a dávají „úplnou“ pravdivostní hodnotu pro celý složený návrh nebo argument, jak je také známo..

Naproti tomu konektory dávají pravdě hodnotu "totální" tvrzení, že řetěz. Například chybné prohlášení připoutané k chybnému prohlášení prostřednictvím konektoru disjunkce vyvolá pro kompozit falešnou hodnotu. Pokud je však spojena s pravdivým tvrzením, pravdivostní hodnota složeného návrhu bude pravdivá.

Tabulky pravdy

Všechny možné kombinace pravdivých hodnot, které mylné výroky mohou brát, jsou známé jako pravdivostní tabulky. Tyto tabulky jsou logickým nástrojem pro analýzu několika chybných příkazů spojených dohromady.

Získaná hodnota pravdy může být pravdivá (tautologie), falešná (rozpor) nebo podmíněná (nepravdivá nebo pravdivá, v závislosti na podmínkách). Tyto tabulky neberou v úvahu obsah každé z chybných výroků, pouze jejich pravdivost. Proto jsou univerzální.

Příklady špatných návrhů

Jednoduché návrhy

Jednoduché výroky mají jedinečnou hodnotu pravdy. V tomto případě je pravdivá hodnota nepravdivá. Tato hodnota je přiřazena v závislosti na osobním vnímání reality. Například následující jednoduché výroky mají falešnou hodnotu:

  1. Tráva je modrá.
  2. 0 + 0 = 2
  3. Studie omráčí lidi.

Složené návrhy

Kombinované chybné výroky jsou tvořeny jednoduchými odkazy, které jsou propojeny pomocí konektorů:

  1. Tráva je modrá a studuje lidi.
  2. 0 + 0 = 2 nebo tráva je modrá.
  3. Pokud 0 + 0 = 2, pak je tráva modrá.
  4. 0 + 0 = 2, a tráva je modrá, pokud a pouze při studiu omráčení lidí.

Odkazy

  1. University of Texas v Austinu. (s / f). Propoziční logika. Převzato z cs.utexas.edu.
  2. Univerzita Simona Frasera. (s / f). Propoziční logika. Převzato z cs.sfu.ca.
  3. Stará univerzita Dominionu. (s / f). Návrh Převzato z cs.odu.edu.
  4. Internetová encyklopedie filozofie. (s / f). Propoziční logika. Převzato z iep.utm.edu.
  5. Encyclopædia Britannica. (2011, duben). Pravdivá tabulka. Převzato z britannica.com.
  6. Andrade, E; Cubides, P; Márquez, C.; Vargas, E. a Cancino, D. (2008). Logické a formální myšlení. Bogotá: Redakční Universidad del Rosario.
  7. Grant Luckhardt, C.; Bechtel, W. (1994). Jak dělat věci s logikou. New Jersey: Lawrence Erlbaum Associates, Inc.