- jellemzők
- Egyszerű vagy összetett
- kinyilatkoztató
- Hiányzik a kétértelműség
- Egyetlen igazságértékkel
- Jelképesen ábrázolható
- Csatlakozók vagy logikai csatlakozók használata
- Igazság táblázatok
- Példák a rossz állításokra
- Egyszerű javaslatok
- Összetett állítások
- Irodalom
A hibás állítások logikai entitások, amelyek igazság értéke nulla (hamis). Általánosságban elmondható, hogy egy állítás egy nyelvi (mondat) vagy matematikai kifejezés, amelyből igazság vagy hamisság biztosítható. Az állítások a logika alapját képezik, és egy nagyon specifikus területet alkotnak, amelyet javaslati logikának nevezünk.
Ilyen módon egy állítás fő jellemzője annak valószínűsége, hogy az igazság (hamis vagy igaz) érték szerint deklarálható. Például a Juan kifejezés, menj a boltba! nem képviseli a javaslatot, mert hiányzik ez a lehetőség. Időközben olyan mondatok, mint Juan, elmentek a boltba vásárolni, vagy Juan elmentek a boltba.

Egyszerű helytelen állítás példa
Most a matematikai síkon a "10−4 = 6" és az "1 + 1 = 3" állítások. Az első eset egy valódi állításról szól. A második rész a téves állítások részét képezi.
Tehát a fontos nem a javaslat vagy a bemutatás módja, hanem az igazság értéke. Ha ez létezik, akkor a létezés is létezik.
jellemzők
Egyszerű vagy összetett
A téves állítás lehet egyszerű (csak egy igazságértéket fejeznek ki) vagy összetett (több igazságértéket fejezhetnek ki). Ez attól függ, hogy az összetevőket érintik-e a láncoló elemek. Ezeket a kapcsolódó elemeket csatlakozóknak vagy logikai összekötőnek nevezzük.
Az előbbi példák a hibás állítások: "A fehér ló fekete", "2 + 3 = 2555" vagy "Minden fogoly ártatlan".
A második típus közül megfelelnek az olyan állítások, mint például: "A jármű fekete vagy piros", "Ha 2 + 3 = 6, akkor 3 + 8 = 6". Az utóbbiban megfigyelhető a kapcsolat legalább két egyszerű javaslat között.
A valódihoz hasonlóan a hamis is összefonódik más egyszerű állításokkal, amelyek lehetnek hamisak, mások valósak. Ezen állítások elemzésének eredménye egy igazságértékhez vezet, amely reprezentatív lesz az összes állítás kombinációjára.
kinyilatkoztató
A téves állítások deklaratív. Ez azt jelenti, hogy mindig van hozzájuk kapcsolódó igazsági érték (hamis érték).
Ha például az "x nagyobb, mint 2" vagy "x = x", akkor nem állíthatja be a hamisság (vagy az igazságosság) értékét, amíg nem ismeri azt a tényt, hogy "x" jelent. Ezért a két kifejezés egyikét sem tekintik deklaratívnak.
Hiányzik a kétértelműség
A téves állításoknak nincs egyértelműségük. Úgy vannak kialakítva, hogy csak egy lehetséges értelmezésük legyen. Ilyen módon igazságértéke rögzített és egyedi.
Másrészről ez a kétértelműség hiánya tükrözi annak egyetemességét. Így ezek lehetnek általánosan negatív, különösen negatív és egzisztenciálisan negatívak:
- Minden bolygó a Nap körül forog (egyetemesen negatív).
- Egyes emberek klorofilt termelnek (különösen negatív).
- Nincsenek szárazföldi madarak (egzisztenciálisan negatív).
Egyetlen igazságértékkel
A téves állításoknak csak egy igazságértéke van, hamis. Egyidejűleg nem rendelkeznek valódi értékkel. Minden alkalommal, amikor ugyanazt a javaslatot felveszik, értéke hamis marad, mindaddig, amíg a megfogalmazásának feltételei nem változnak.
Jelképesen ábrázolható
A hibás állításokat hajlamos szimbolikusan ábrázolni. Ebből a célból a szókincs első betűit szokásos módon rendelik meg a jelölésükhöz. Tehát a javaslati logikában az a, b, c kisbetűk és az azt követő betűk a javaslatokat szimbolizálják.
Miután egy javaslathoz szimbolikus betűt rendeltek, megtartják azt az elemzés során. Hasonlóképpen, a megfelelő igazságérték hozzárendelésével a javaslat tartalmának már nincs jelentősége. Az összes későbbi elemzés a szimbólumon és az igazság értékén alapul.
Csatlakozók vagy logikai csatlakozók használata
Linkek (csatlakozók vagy logikai összeköttetések) használatával számos egyszerű rossz javaslat állítható össze, és így vegyületet képezhet. Ezek a csatlakozók konjunkció (és), diszjunció (vagy), implikáció (akkor), ekvivalencia (ha és csak akkor), és tagadás (nem).
Ezek a csatlakozók összekapcsolják őket másokkal, amelyek esetleg hibásak is. Ezen állítások igazságértékeit egyesítik egymással, rögzített alapelvek szerint, és "teljes" igazságértéket adnak a teljes összetett állításra vagy érvre, amint az is ismert.
Másrészt a csatlakozók megadják az egymásba láncolt állítások „teljes” valós értékét. Például, ha egy hibás állítás egy diszjunziós csatlakozón keresztül helytelen utasításra láncolva hamis értéket ad vissza a vegyületre. De ha egy igaz állításra láncolunk, akkor az összetett állítás valós értéke igaz lesz.
Igazság táblázatok
Az igazságértékek azon lehetséges kombinációit, amelyeket a téves állítások elfogadhatnak, igazságtábláknak nevezzük. Ezek a táblák logikus eszköz a különböző, egymással összekapcsolt téves javaslatok elemzésére.
Most a kapott igazságérték lehet igaz (tautológia), hamis (ellentmondás) vagy feltételes (hamis vagy igaz, a körülményektől függően). Ezek a táblázatok nem veszik figyelembe az egyes téves állítások tartalmát, csak az igazság értékét. Ezért univerzálisak.
Példák a rossz állításokra
Egyszerű javaslatok
Az egyszerű állításoknak egyetlen igazságértéke van. Ebben az esetben az igazság értéke hamis. Ezt az értéket a hozzárendelő személy valós észlelésének függvényében rendelik hozzá. Például a következő egyszerű állítások hamis értékkel rendelkeznek:
- A fű kék.
- 0 + 0 = 2
- A tanulmány brutalizálja az embereket.
Összetett állítások
A hibás mondatok egyszerű csatolásokból készülnek, amelyeket összekötőkön keresztül kapcsolnak össze:
- A fű kék, és a tanulás megtisztítja az embereket.
- 0 + 0 = 2 vagy a fű kék.
- Ha 0 + 0 = 2, akkor a fű kék.
- 0 + 0 = 2, és a fű kék akkor és csak akkor, ha a tanulmány az embereket megtisztítja.
Irodalom
- A texasi egyetem, Austin. (s / f). Propozicionális logika. A cs.utexas.edu fájlból származik.
- Simon Fraser Egyetem. (s / f). Propozicionális logika. A cs.sfu.ca oldalról
- Old Dominion Egyetem. (s / f). Javaslat. A cs.odu.edu névből származik.
- Internet filozófiai enciklopédia. (s / f). Propozicionális logika. Az iep.utm.edu oldalról
- Encyclopædia Britannica. (2011, április). Igazságtábla. A britannica.com oldalról vettük át.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. és Cancino, D. (2008). Logikai és formális gondolkodás. Bogotá: Szerkesztői Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Hogyan kell dolgozni a logikával. New Jersey: Lawrence Erlbaum Associates, Inc.
