- charakteristikos
- Paprastas ar sudėtingas
- Deklaratyvus
- Trūksta dviprasmybių
- Su viena tiesos vertybe
- Gali būti pavaizduota simboliškai
- Jungčių arba loginių jungčių naudojimas
- Tiesos lentelės
- Neteisingų teiginių pavyzdžiai
- Paprasti pasiūlymai
- Sudėtiniai teiginiai
- Nuorodos
Į klaidingi teiginiai yra loginiai subjektai, turintys tiesa vertė nulis (klaidinga). Apskritai teiginys yra kalbinė (sakinys) ar matematinė išraiška, iš kurios galima įsitikinti jos tiesa ar klaidingumu. Pasiūlymai yra logikos pagrindas ir sudaro labai specifinį lauką, vadinamą teiginio logika.
Tokiu būdu pagrindinis teiginio bruožas yra jo galimybė būti deklaruojamam pagal jo tikrąją vertę (klaidingą ar teisingą). Pavyzdžiui, posakis „Juan“, eik į parduotuvę! tai neatstovauja teiginio, nes neturi šios galimybės. Tuo tarpu tokie sakiniai kaip Juanas eidavo į parduotuvę pirkti arba Juanas eina į parduotuvę daryti.
Paprastas klaidingo teiginio pavyzdys
Dabar matematinėje plokštumoje „10–4 = 6“ ir „1 + 1 = 3“ yra teiginiai. Pirmasis atvejis susijęs su tikru teiginiu. Savo ruožtu antrasis yra klaidingų teiginių dalis.
Taigi svarbu ne pasiūlymas ar pateikimo būdas, o jo tikroji vertė. Jei tai egzistuoja, tada teiginys taip pat egzistuoja.
charakteristikos
Paprastas ar sudėtingas
Klaidingi teiginiai gali būti paprasti (jie išreiškia tik vieną tiesos vertę) arba sudėtiniai (jie išreiškia kelias tiesos vertybes). Tai priklauso nuo to, ar grandinės elementai paveikė jūsų komponentus. Šie susiję elementai yra žinomi kaip jungtys arba loginiai jungiamieji elementai.
Ankstesnių pavyzdžių pavyzdžiai yra klaidingi teiginiai: „Baltas arklys yra juodas“, „2 + 3 = 2555“ arba „Visi kaliniai yra nekalti“.
Iš antrojo tipo atitinka teiginius, tokius kaip „Transporto priemonė yra juoda arba raudona“, „Jei 2 + 3 = 6, tada 3 + 8 = 6“. Pastaruoju atveju pastebimas ryšys tarp mažiausiai dviejų paprastų teiginių.
Kaip ir tikrosios, klaidingos yra susipynusios su kitais paprastais teiginiais, kurie vieni gali būti klaidingi, o kiti teisingi. Visų šių teiginių analizės rezultatas lemia tiesos vertę, kuri bus tipiška visų susijusių teiginių kombinacijai.
Deklaratyvus
Klaidingi teiginiai yra deklaratyvūs. Tai reiškia, kad jie visada turi susijusią tiesos vertę (klaidingą vertę).
Pavyzdžiui, jei turite „x yra didesnis nei 2“ arba „x = x“, negalite nustatyti klaidingumo (ar teisingumo) vertės tol, kol nesužinosite fakto, kad „x“ reiškia. Todėl nė viena iš šių frazių nėra laikoma deklaratyvia.
Trūksta dviprasmybių
Klaidingi teiginiai neturi dviprasmybių. Jie yra sukonstruoti taip, kad juos būtų galima suprasti tik vieną kartą. Tokiu būdu jo tikroji vertė yra fiksuota ir unikali.
Kita vertus, šis dviprasmiškumo trūkumas atspindi jos universalumą. Taigi tai gali būti visuotinai neigiama, ypač neigiama ir egzistenciškai neigiama:
- Visos planetos sukasi aplink saulę (visuotinai neigiamos).
- Kai kurie žmonės gamina chlorofilą (ypač neigiamą).
- Nėra sausumos paukščių (egzistenciškai neigiamų).
Su viena tiesos vertybe
Klaidingi teiginiai turi tik vieną tiesos vertę, klaidingą. Jie vienu metu neturi tikrosios vertės. Kiekvieną kartą iškeliant tą patį teiginį, jo vertė liks klaidinga tol, kol nepasikeis sąlygos, kuriomis jis suformuluotas.
Gali būti pavaizduota simboliškai
Klaidingi pasiūlymai simboliškai vaizduojami. Šiuo tikslu įvardijamos pirmosios žodyno raidės įprastu būdu. Taigi teiginio logikoje mažosios raidės a, b, c ir vėlesnės raidės simbolizuoja teiginius.
Kai teiginiui priskiriama simbolinė raidė, jis išlaikomas visos analizės metu. Panašiai, jei priskirta atitinkama tiesos vertė, teiginio turinys nebebus svarbus. Visa tolesnė analizė bus pagrįsta simboliu ir tiesos verte.
Jungčių arba loginių jungčių naudojimas
Naudojant jungtis (jungtis ar loginius jungtukus), galima sudėti kelis paprastus neteisingus teiginius ir sudaryti junginį. Šios jungtys yra jungimas (ir), atjungimas (arba), implikacija (tada), ekvivalencija (jei ir tik tada) ir neigimas (ne).
Šios jungtys jas susieja su kitomis, kurios taip pat gali būti klaidingos. Visų šių teiginių tiesos vertės yra sujungtos viena su kita pagal nustatytus principus ir suteikia „visišką“ tiesos vertę visam jungtiniam teiginiui ar argumentui, kaip ji taip pat žinoma.
Kita vertus, jungtys suteikia „bendrą“ tiesinę vertę teiginių, kuriuos jie grandinėja. Pvz., Neteisingas teiginys, sujungtas į neteisingą teiginį per disjunkcijos jungtį, grąžina klaidingą junginio vertę. Bet jei tai susieta su teisingu teiginiu, sudėtinio teiginio tikroji vertė bus teisinga.
Tiesos lentelės
Visi galimi tiesos vertybių deriniai, kuriuos gali priimti klaidingi teiginiai, yra žinomi kaip tiesos lentelės. Šios lentelės yra logiška priemonė analizuoti įvairius klaidingus teiginius, susietus tarpusavyje.
Dabar gauta tiesos vertė gali būti teisinga (tautologija), klaidinga (prieštaravimas) arba neapibrėžta (klaidinga ar tikra, atsižvelgiant į sąlygas). Šiose lentelėse neatsižvelgiama į kiekvieno klaidingo teiginio turinį, tik jų tiesinė vertė. Todėl jie yra universalūs.
Neteisingų teiginių pavyzdžiai
Paprasti pasiūlymai
Paprasti teiginiai turi vieną tiesos vertę. Šiuo atveju tiesos vertė yra klaidinga. Ši vertė priskiriama priklausomai nuo ją skiriančio asmens asmeninio suvokimo apie tikrovę. Pvz., Šie paprasti teiginiai turi klaidingą vertę:
- Žolė yra mėlyna.
- 0 + 0 = 2
- Studijos brutalizuoja žmones.
Sudėtiniai teiginiai
Sudėtingi klaidingi sakiniai sudaromi iš paprastų, sujungtų per jungtis:
- Žolė yra mėlyna ir studijos žmones stulbina.
- 0 + 0 = 2 arba žolė yra mėlyna.
- Jei 0 + 0 = 2, tada žolė yra mėlyna.
- 0 + 0 = 2, o žolė yra mėlyna, jei ir tik tada, kai studijuoji žmones.
Nuorodos
- Teksaso universitetas Austine. (s / f). Propozicinė logika. Paimta iš cs.utexas.edu.
- Simono Fraserio universitetas. (s / f). Propozicinė logika. Paimta iš cs.sfu.ca.
- Senojo Dominiono universitetas. (s / f). Pasiūlymas. Paimta iš cs.odu.edu.
- Internetinė filosofijos enciklopedija. (s / f). Propozicinė logika. Paimta iš iep.utm.edu.
- „Encyclopædia Britannica“. (2011 m. Balandis). Tiesos stalas. Paimta iš britannica.com.
- Andradas, E .; Kubidai, P .; Márquezas, C .; Vargas, E. ir Cancino, D. (2008). Logika ir formalus mąstymas. Bogota: „Universidad del Rosario“ redakcija.
- Grantas Luckhardtas, C .; Bechtel, W. (1994). Kaip elgtis su logika. Naujasis Džersis: Lawrence Erlbaum Associates, Inc.