Vale ettepanekute omadused ja näited



The valed ettepanekud need on loogilised üksused, mille tegelik väärtus on null (vale). Üldiselt on ettepanek keeleline (lause) või matemaatiline väljendus, millest on võimalik tagada selle tõde või väärus. Ettepanekud on loogika alus ja moodustavad väga spetsiifilise valdkonna, mida nimetatakse ettepanekuliseks loogikaks.

Sel viisil on pakkumise peamine omadus tema võimalus olla deklareeritud vastavalt tõe väärtusele (vale või tõene). Näiteks väljend ¡Juan, minge poodi! see ei kujuta endast ettepanekut, sest tal puudub selline võimalus. Vahepeal läksid palved nagu Juan läksid kauplusesse ostma või Juan läheb poe juurde, kui neil seda on.

Nüüd on matemaatilisel tasandil "10-4 = 6" ja "1 + 1 = 3" ettepanekud. Esimene juhtum on tõeline ettepanek. Teine osa on osa valedest ettepanekutest.

Niisiis, oluline pole mitte ettepanek või viis, kuidas see on esitatud, vaid selle tõe väärtus. Kui see on olemas, siis on olemas ka ettepanek.

Indeks

  • 1 Omadused
    • 1.1 Lihtne või ühend
    • 1.2 Deklaratiivne
    • 1.3 Ebamäärasuse puudumine
    • 1.4 Ühe tõe väärtusega
    • 1.5 Tundlik olla esindatud sümboolselt
    • 1.6 Pistikute või loogiliste ühenduste kasutamine
  • 2 Tõde tabelid
  • 3 Valede ettepanekute näited
    • 3.1 Lihtsad ettepanekud
    • 3.2 Komposiitettepanekud
  • 4 Viited

Omadused

Lihtne või ühend

Valed väited võivad olla lihtsad (nad väljendavad ainult ühte tõe väärtust) või ühendit (nad väljendavad tõe mitmeid väärtusi). See sõltub sellest, kas ahelaelemendid mõjutavad selle komponente. Need relatsioonielemendid on tuntud kui konnektorid või loogilised sidemed.

Esimene näide on valed ettepanekud tüübist: "Valge hobune on must", "2 + 3 = 2555" või "Kõik vangid on süütud".

Teist tüüpi vastavad ettepanekud nagu "Sõiduk on must või punane", "Kui 2 + 3 = 6, siis 3 + 8 = 6". Viimases vaadeldakse seost vähemalt kahe lihtsa ettepaneku vahel.  

Nagu ka tõeliste puhul, on valed omavahel seotud teiste lihtsaid ettepanekuid, mis võivad olla valed ja teised tõsi. Kõigi nende ettepanekute analüüsi tulemuseks on tõe väärtus, mis esindab kõigi kaasatud ettepanekute kombinatsiooni.

Deklaratiivne

Valed väited on deklaratiivsed. See tähendab, et neil on alati seotud tõe väärtus (vale väärtus).

Kui teil on näiteks "x suurem kui 2" või "x = x", ei saa te vale (või tõe) väärtust määrata enne, kui teate, et "x" tähistab. Seetõttu ei peeta kumbagi väljendit deklaratiivseks.

Ebamäärasuse puudumine

Valed ettepanekud ei ole ebaselged. Need on konstrueeritud nii, et neil on üks võimalik tõlgendus. Sel viisil on selle tõeline väärtus kindel ja ainulaadne.

Teisest küljest peegeldab see ebamäärasuse puudumine selle universaalsust. Seega võivad need olla üldiselt negatiivsed, eriti negatiivsed ja eksistentsiaalselt negatiivsed:

  • Kõik planeedid pöörlevad ümber päikese (üldiselt negatiivsed).
  • Mõned inimesed toodavad klorofülli (eriti negatiivne).
  • Maalinnud ei ole (eksistentsiaalselt negatiivsed).  

Ühe tõe väärtusega

Valedel väidetel on ainult üks tõese väärtus, vale. Neil ei ole tegelikku väärtust üheaegselt. Iga kord, kui sama ettepanek on tõstatatud, jääb selle väärtus ebaõigeks seni, kuni tingimused, milles see on koostatud, ei muutu.

Võib olla sümboolselt esindatud

Valesid väiteid on võimalik esindada sümboolselt. Selleks määratakse sõnavara esimesed tähed neile tavapärasel viisil. Seega sümboliseerivad väikesed tähed a, b, c ja järgnevad loogilises loogikas ettepanekuid.

Kui ettepanekule on antud sümboolne täht, säilitatakse see kogu analüüsi vältel. Samamoodi omistatakse vastava tõesuse väärtusele ettepaneku sisu enam. Kõik järgnevad analüüsid põhinevad sümbolil ja tõe väärtusel.

Ühenduste või loogikaühenduste kasutamine

Kettimise (konnektorite või loogiliste ühenduste) kasutamisega võivad liituda mitmed lihtsad vead, mis võivad moodustada komposiidi. Need ühendused on ühendus (y), disjunktsioon (o), implikatsioon (siis), samaväärsus (kui ja ainult siis) ja eitamine (ei).

Need konnektorid seostavad neid teistega, mis võivad samuti olla valed või mitte. Kõigi nende ettepanekute tõesväärtused ühendatakse üksteisega fikseeritud põhimõtete kohaselt ja annavad kogu ühendi pakkumise või argumendi jaoks „tõese“ väärtuse, kuna see on samuti teada.

Teisest küljest annavad konnektorid tõele väärtuse, mis on „ahelas” olevate ettepanekute kogusumma. Näiteks ekslikule avaldusele, mis on aheldatud ekslikule ühendusele, tekib komposiidile vale väärtus. Aga kui see on seotud tõelise ettepanekuga, on ühendi pakkumise tõesus tõsi.

Tõde tabelid

Kõik tõde väärtuste võimalikud kombinatsioonid, mida ekslikud ettepanekud võivad võtta, on tuntud kui tõe tabelid. Need tabelid on loogiline vahend mitme omavahel seotud eksliku avalduse analüüsimiseks.

Nüüd võib saadud tõe väärtus olla tõene (tautoloogia), vale (vastuolu) või tingimuslik (sõltuvalt tingimustest vale või tõene). Nendes tabelites ei võeta arvesse iga eksitava väite sisu, vaid nende tõe väärtust. Seetõttu on nad universaalsed.

Näited valedest ettepanekutest

Lihtsad ettepanekud

Lihtsatel ettepanekutel on ainulaadne tõe väärtus. Sel juhul on tõe väärtus vale. See väärtus määratakse sõltuvalt inimese isiklikust reaalsuse tajumisest. Näiteks järgmistel lihtsatel ettepanekutel on vale väärtus:

  1. Muru on sinine.
  2. 0 + 0 = 2
  3. Uuring püüdis inimesi.

Komposiitettepanekud

Kombineeritud vigased ettepanekud on moodustatud lihtsatest linkidest, mis on ühendatud läbi pistikute:

  1. Muru on sinine ja õpib inimesi.
  2. 0 + 0 = 2 või rohi on sinine.
  3. Kui 0 + 0 = 2, siis rohi on sinine.
  4. 0 + 0 = 2 ja rohi on sinine ainult siis, kui õpib inimesi.

Viited

  1. Texase Ülikool Austinis. (s / f). Propositiivne loogika. Võetud cs.utexas.edust.
  2. Simon Fraseri ülikool. (s / f). Propositiivne loogika. Võetud cs.sfu.ca.
  3. Vana Dominioni Ülikool. (s / f). Propositsioon Võetud cs.odu.edust.
  4. Filosoofia Interneti-Encyclopedia. (s / f). Propositiivne loogika. Võetud iep.utm.edu.
  5. Encyclopædia Britannica. (2011, aprill). Tõde tabel. Britannica.com-lt.
  6. Andrade, E; Cubides, P; Márquez, C.; Vargas, E. ja Cancino, D. (2008). Loogika ja formaalne mõtlemine. Bogotá: Toimetaja Universidad del Rosario.
  7. Grant Luckhardt, C; Bechtel, W. (1994). Kuidas teha asju loogikaga. New Jersey: Lawrence Erlbaum Associates, Inc.