Neteisingi pasiūlymai ir pavyzdžiai



The neteisingi pasiūlymai jie yra loginiai subjektai, kurių tikroji vertė yra null (false). Apskritai pasiūlymas yra lingvistinis (sakinys) arba matematinė išraiška, iš kurios gali būti užtikrintas jos tiesumas ar klaidingumas. Pasiūlymai yra logikos pagrindas ir sudaro labai konkretų lauką, vadinamą siūloma logika.

Tokiu būdu pagrindinė pasiūlymo ypatybė yra jos galimybė būti deklaruotam pagal jo tikrąją vertę (klaidingą ar tikrą). Pavyzdžiui, išraiška ¡Juan, eikite į parduotuvę! tai nėra pasiūlymas, nes jis neturi tokios galimybės. Tuo tarpu maldos, pavyzdžiui, Juan, nuvyko į parduotuvę, kad nusipirktų, arba Juan eina į parduotuvę, jei jos turi.

Dabar matematinėje plokštumoje „10-4 = 6“ ir „1 + 1 = 3“ yra pasiūlymai. Pirmasis atvejis yra tikras pasiūlymas. Antra, antroji dalis yra klaidingų pasiūlymų dalis.

Taigi, svarbiausias dalykas yra ne pasiūlymas ar pateikimo būdas, bet jo tiesa. Jei taip yra, tai yra ir pasiūlymas.

Indeksas

  • 1 Charakteristikos
    • 1.1 Paprastas arba junginys
    • 1.2 Deklaracinis
    • 1.3 Trūksta dviprasmiškumo
    • 1.4 Su viena tiesa
    • 1.5 Jautri būti atstovaujamiems simboliškai
    • 1.6 Jungčių arba loginių jungčių naudojimas
  • 2 Tiesos lentelės
  • 3 Neteisingų pasiūlymų pavyzdžiai
    • 3.1 Paprasti pasiūlymai
    • 3.2 Sudėtiniai pasiūlymai
  • 4 Nuorodos

Savybės

Paprastas arba junginys

Neteisingi teiginiai gali būti paprasti (jie išreiškia tik vieną tiesos vertę) arba junginį (jie išreiškia kelias tiesos vertes). Tai priklauso nuo to, ar jo sudedamąsias dalis veikia grandinės elementai. Šie reliaciniai elementai yra žinomi kaip jungtys arba loginė jungtis.

Pirmasis pavyzdys yra netinkami tokio tipo pasiūlymai: „Baltasis arklys yra juodas“, „2 + 3 = 2555“ arba „Visi kaliniai yra nekalti“.

Antrojo tipo atitikmenys yra tokie, kaip "Transporto priemonė yra juoda arba raudona", "Jei 2 + 3 = 6, tada 3 + 8 = 6". Pastaruoju atveju stebimas ryšys tarp bent dviejų paprastų pasiūlymų.  

Kaip ir tikrieji, klaidingi yra susipynę su kitais paprastais pasiūlymais, kurie gali būti klaidingi ir kiti teisingi. Visų šių pasiūlymų analizės rezultatas lemia tiesos vertę, kuri bus reprezentatyvi visų susijusių pasiūlymų deriniui.

Deklaracinis

Neteisingi teiginiai yra deklaratyvūs. Tai reiškia, kad jie visada turi susijusią tiesos vertę (neteisingą vertę).

Pavyzdžiui, jei „x yra didesnis nei 2“ arba „x = x“, negalite nustatyti melagingos vertės (ar tiesos), kol nežinote, kad „x“ reiškia. Todėl nė viena iš šių dviejų išraiškų nėra laikoma deklaratyvia.

Trūksta dviprasmiškumo

Neteisingi teiginiai neturi dviprasmiškumo. Jie yra sukonstruoti taip, kad juos būtų galima interpretuoti vienu metu. Tokiu būdu jo tiesos vertė yra fiksuota ir unikali.

Kita vertus, šis dviprasmybės trūkumas atspindi jo visuotinumą. Taigi jie gali būti visuotinai neigiami, ypač neigiami ir egzistenciškai neigiami:

  • Visos planetos sukasi aplink saulę (visuotinai neigiamos).
  • Kai kurie žmonės gamina chlorofilą (ypač neigiamą).
  • Nėra sausumos paukščių (egzistenciškai neigiamų).  

Naudojant vieną tiesos vertę

Neteisingi teiginiai turi tik vieną tiesos vertę, klaidingą. Jie neturi tikrosios vertės vienu metu. Kiekvieną kartą, kai tas pats pasiūlymas yra iškeltas, jo vertė išliks klaidinga, kol nesikeis sąlygos, kuriomis ji suformuluota.

Gali būti atstovaujama simboliškai

Neteisingi teiginiai gali būti reprezentuojami simboliniu būdu. Šiuo tikslu pirmosios žodyno raidės yra priskirtos įprastu būdu jas žymėti. Taigi, pasiūlymo logika mažosios raidės a, b, c ir vėlesnės simbolizuoja pasiūlymus.

Kai pasiūlymui priskirtas simbolinis laiškas, jis išlaikomas visai analizei. Taip pat, priskiriant atitinkamą tiesos vertę, pasiūlymo turinys nebebus svarbus. Visos tolesnės analizės bus pagrįstos simboliu ir tiesos verte.

Jungčių arba loginių jungčių naudojimas

Naudojant grandines (jungtis ar loginius jungiklius), keletas paprastų klaidingų pasiūlymų gali prisijungti ir sudaryti kompozitą. Šios jungtys yra jungtis (y), disjunkcija (o), implikacija (tada), lygiavertiškumas (jei ir tik jei) ir neigimas (ne).

Šios jungtys jas sieja su kitais, kurie taip pat gali būti neteisingi. Visų šių teiginių tiesos vertybės yra derinamos tarpusavyje pagal nustatytus principus ir suteikia „bendrą“ tiesos vertę visam junginio pasiūlymui ar argumentui, nes jis taip pat žinomas.

Kita vertus, jungtys suteikia tiesinę vertę „iš viso“ siūlomų pasiūlymų. Pavyzdžiui, klaidingas pareiškimas, sukabintas prie klaidingo per disjunkcijos jungtį, sukelia klaidingą vertę kompozitui. Bet jei jis yra susijęs su tikru pasiūlymu, junginio pasiūlymo tiesa bus teisinga.

Tiesos lentelės

Visi galimi tiesos vertybių deriniai, kurie gali būti klaidingi, yra žinomi kaip tiesos lentelės. Šios lentelės yra logiškas įrankis analizuoti kelis klaidingus tarpusavyje susietus pareiškimus.

Dabar gauta tiesos vertė gali būti teisinga (tautologija), klaidinga (prieštaringa) arba kontingentinė (klaidinga ar teisinga, priklausomai nuo sąlygų). Šiose lentelėse neatsižvelgiama į kiekvieno klaidingo pasiūlymo turinį, tik jų tiesos vertę. Todėl jie yra universalūs.

Neteisingų pasiūlymų pavyzdžiai

Paprasti pasiūlymai

Paprasti pasiūlymai turi unikalią tiesos vertę. Šiuo atveju tiesos vertė yra klaidinga. Ši vertė priskiriama atsižvelgiant į asmens asmeninį realybės suvokimą. Pvz., Toliau pateikiami paprasti pasiūlymai yra klaidingi:

  1. Žolė yra mėlyna.
  2. 0 + 0 = 2
  3. Tyrimas sukelia žmones.

Sudėtiniai pasiūlymai

Sudėtingi klaidingi pasiūlymai yra sudaryti iš paprastų nuorodų, kurios yra sujungtos per jungtį:

  1. Žolė yra mėlyna ir mokosi žiauriai.
  2. 0 + 0 = 2 arba žolė yra mėlyna.
  3. Jei 0 + 0 = 2, žolė yra mėlyna.
  4. 0 + 0 = 2, o žolė yra mėlyna, jei ir tik tada, kai studijuoja stunksčius.

Nuorodos

  1. Teksaso universitetas Austine. (s / f). Propozicinė logika. Paimta iš cs.utexas.edu.
  2. Simon Fraser universitetas. (s / f). Propozicinė logika. Paimta iš cs.sfu.ca.
  3. „Old Dominion“ universitetas. (s / f). Pasiūlymas Paimta iš cs.odu.edu.
  4. Filosofijos internetinė enciklopedija. (s / f). Propozicinė logika. Paimta iš iep.utm.edu.
  5. Encyclopædia Britannica. (2011 m. Balandžio mėn.). Tiesos lentelė. Paimta iš britannica.com.
  6. Andrade, E .; Kubidai, P; Márquez, C.; Vargas, E. ir Cancino, D. (2008). Loginis ir formalus mąstymas. Bogota: Redakcijos Universidad del Rosario.
  7. Grant Luckhardt, C.; Bechtel, W. (1994). Kaip daryti dalykus su logika. Naujasis Džersis: Lawrence Erlbaum Associates, Inc.