Jaa:
Virheelliset ehdotukset ja esimerkit
vääriä ehdotuksia ne ovat loogisia kokonaisuuksia, joiden todellinen arvo on nolla (väärä). Yleensä ehdotus on kielellinen (lause) tai matemaattinen ilmaus, josta voidaan taata sen totuus tai vääryys. Ehdotukset ovat logiikan perusta ja muodostavat hyvin spesifisen kentän, jota kutsutaan ehdotukselliseksi logiikaksi.
Tällä tavoin ehdotuksen pääominaisuus on sen mahdollisuus tulla julki sen totuusarvon mukaan (väärä tai tosi). Esimerkiksi ilmaus ¡Juan, mene myymälään! se ei ole ehdotus, koska siinä ei ole tätä mahdollisuutta. Samaan aikaan Juanin rukoukset menivät myymälään ostamaan tai Juan meni myymälään, jos heillä on se.
Nyt matemaattisessa tasossa "10-4 = 6" ja "1 + 1 = 3" ovat ehdotuksia. Ensimmäinen tapaus on todellinen ehdotus. Toinen puolestaan on osa vääriä ehdotuksia.
Tärkeintä ei siis ole ehdotus tai se, miten se esitetään, vaan sen totuuden arvo. Jos sellainen on, niin on olemassa myös ehdotus.
indeksi
- 1 Ominaisuudet
- 1.1 Yksinkertainen tai yhdiste
- 1.2 Ilmoitus
- 1.3 Epäselvyyden puute
- 1.4 Yhdellä totuusarvolla
- 1.5 Herkkä olla edustettuna symbolisesti
- 1.6 Liittimien tai loogisten liittimien käyttö
- 2 Totuuspöydät
- 3 Esimerkkejä vääristä ehdotuksista
- 3.1 Yksinkertaiset ehdotukset
- 3.2 Yhdistetyt ehdotukset
- 4 Viitteet
piirteet
Yksinkertainen tai yhdiste
Väärät ehdotukset voivat olla yksinkertaisia (ne ilmaisevat vain yhden totuuden arvon) tai yhdisteen (ne ilmaisevat useita totuuden arvoja). Tämä riippuu siitä, vaikuttavatko ketjutuselementit sen osiin. Nämä relaatioelementit tunnetaan liittiminä tai loogisena sidoksena.
Yksi esimerkki ensimmäisistä on vääriä ehdotuksia: "Valkoinen hevonen on musta", "2 + 3 = 2555" tai "Kaikki vangit ovat viattomia".
Toisesta tyypistä vastaavat ehdotukset, kuten "Ajoneuvo on musta tai punainen", "Jos 2 + 3 = 6, sitten 3 + 8 = 6". Jälkimmäisessä havaitaan vähintään kahden yksinkertaisen ehdotuksen välinen yhteys.
Kuten totta, väärät ovat toisiinsa yhteydessä myös muihin yksinkertaisiin ehdotuksiin, jotka voivat olla vääriä ja toisia. Kaikkien näiden ehdotusten analyysin tulos johtaa totuuden arvoon, joka edustaa kaikkien mukana olevien ehdotusten yhdistelmää.
olet toteava
Väärät ehdotukset ovat julistavia. Tämä tarkoittaa, että heillä on aina siihen liittyvä totuusarvo (väärä arvo).
Jos sinulla on esimerkiksi "x on suurempi kuin 2" tai "x = x", et voi asettaa väärän arvon (tai totuuden) arvoa ennen kuin tiedät, että "x" edustaa. Siksi kumpaakaan näistä kahdesta ilmaisusta ei pidetä julistavana.
Epäselvyyttä ei ole
Väärillä ehdotuksilla ei ole epäselvyyttä. Ne on rakennettu siten, että niillä on yksi mahdollinen tulkinta. Tällä tavoin sen totuusarvo on kiinteä ja ainutlaatuinen.
Toisaalta tämä epäselvyyden puute heijastaa sen yleisyyttä. Nämä voivat siis olla yleisesti negatiivisia, erityisesti negatiivisia ja eksistentiaalisesti negatiivisia:
- Kaikki planeetat pyörivät auringon ympäri (yleisesti negatiiviset).
- Jotkut ihmiset tuottavat klorofylliä (erityisen negatiivinen).
- Maata ei ole lintuja (eksistentiaalisesti negatiivisia).
Yhdellä totuusarvolla
Väärillä ehdotuksilla on vain yksi totuusarvo, väärä. Niillä ei ole todellista arvoa samanaikaisesti. Joka kerta, kun samaa ehdotusta nostetaan, sen arvo pysyy vääränä niin kauan kuin olosuhteet, joissa se on muotoiltu, eivät muutu.
Ne ovat alttiita olemaan edustettuina symbolisesti
Väärät ehdotukset voivat olla edustettuina symbolisella tavalla. Tätä varten sanaston ensimmäiset kirjaimet osoitetaan tavanomaisella tavalla niiden nimeämiseksi. Siten ehdotuslogiikassa pienet kirjaimet a, b, c ja myöhemmät symboloivat ehdotuksia.
Kun ehdotukselle on annettu symbolinen kirjain, se säilytetään koko analyysin ajan. Samalla tavalla, vastaavalla totuusarvolla, ehdotuksen sisältö ei ole enää merkityksellinen. Kaikki myöhemmät analyysit perustuvat symboliin ja totuusarvoon.
Liittimien tai loogisten liittimien käyttö
Ketjun (liittimet tai loogiset liitännät) avulla useat yksinkertaiset virheelliset ehdotukset voivat liittyä yhteen ja muodostaa komposiitin. Nämä liittimet ovat liitos (y), disjunktio (o), implektio (silloin), vastaavuus (jos ja vain jos) ja kielto (ei).
Nämä liittimet yhdistävät ne toisiin, jotka voivat myös olla väärässä. Kaikkien näiden ehdotusten totuusarvot yhdistetään toisiinsa kiinteän periaatteen mukaisesti ja antavat "koko" totuuden arvon koko yhdistelmäesitykselle tai argumentille, koska se tunnetaan myös.
Toisaalta liittimet antavat totuudenarvon "yhteensä" niille ehdotuksille, jotka ketju ovat. Esimerkiksi virheellinen lauseke, joka on ketjutettu virheelliseen liitäntään, heittää väärän arvon komposiitille. Mutta jos se liittyy todelliseen ehdotukseen, yhdistelmäesityksen totuusarvo on totta.
Totuuspöydät
Kaikki mahdolliset totuusarvojen yhdistelmät, joita virheelliset ehdotukset voivat tehdä, tunnetaan totuuden taulukkoina. Nämä taulukot ovat looginen työkalu useiden virheellisten lausuntojen analysointiin.
Nyt saatu totuusarvo voi olla totta (tautologia), väärä (ristiriita) tai ehdollinen (vääriä tai totta, olosuhteista riippuen). Näissä taulukoissa ei oteta huomioon kunkin virheellisen ehdotuksen sisältöä, vaan vain niiden totuusarvoa. Siksi ne ovat yleisiä.
Esimerkkejä vääristä ehdotuksista
Yksinkertaiset ehdotukset
Yksinkertaisilla ehdotuksilla on ainutlaatuinen totuusarvo. Tällöin totuusarvo on väärä. Tämä arvo määritetään riippuen henkilön henkilökohtaisesta käsityksestä todellisuudesta. Esimerkiksi seuraavilla yksinkertaisilla ehdotuksilla on väärä arvo:
- Ruoho on sininen.
- 0 + 0 = 2
- Tutkimus tunkeutuu ihmisiin.
Yhdistetyt ehdotukset
Yhdistetyt virheelliset ehdotukset muodostetaan yksinkertaisista linkeistä, jotka on yhdistetty liittimien kautta:
- Ruoho on sininen ja opiskelee brutalizes ihmisiä.
- 0 + 0 = 2 tai ruoho on sininen.
- Jos 0 + 0 = 2, ruoho on sininen.
- 0 + 0 = 2, ja ruoho on sininen, jos ja vain silloin, kun opiskellaan stuns ihmisiä.
viittaukset
- Texasin yliopisto Austinissa. (s / f). Propositiivinen logiikka. Otettu osoitteesta cs.utexas.edu.
- Simon Fraserin yliopisto. (s / f). Propositiivinen logiikka. Otettu osoitteesta cs.sfu.ca.
- Vanha Dominion-yliopisto. (s / f). Ehdotusta. Otettu osoitteesta cs.odu.edu.
- Filosofian Internet-tietosanakirja. (s / f). Propositiivinen logiikka. Otettu osoitteesta iep.utm.edu.
- Encyclopædia Britannica. (2011, huhtikuu). Totuus taulukko. Otettu britannica.comista.
- Andrade, E .; Kubidit, P; Márquez, C .; Vargas, E. ja Cancino, D. (2008). Logiikka ja muodollinen ajattelu. Bogotá: Toimituksellinen Universidad del Rosario.
- Grant Luckhardt, C .; Bechtel, W. (1994). Miten tehdä asioita logiikalla. New Jersey: Lawrence Erlbaum Associates, Inc..