- ominaisuudet
- Yksinkertainen tai yhdistelmä
- deklaratiivinen
- Puute epäselvyyttä
- Yhdellä totuusarvolla
- Alttiina edustamaan symbolisesti
- Liittimien tai loogisten liitäntöjen käyttö
- Totuuspöydät
- Esimerkkejä vääristä ehdotuksista
- Yksinkertaiset ehdotukset
- Yhdistetyt ehdotukset
- Viitteet
Virheellinen ehdotukset ovat loogisia yksiköitä, joiden totuusarvo nolla (epätosi). Yleisesti ottaen lause on kielellinen (lause) tai matemaattinen lauseke, josta sen totuus tai virheellisyys voidaan varmistaa. Ehdotukset ovat logiikan perusta ja muodostavat erityisen kentän, joka tunnetaan ehdotuslogiikkana.
Tällä tavalla ehdotuksen pääominaisuus on sen mahdollisuus julistaa sen totuusarvon (väärän tai totta) perusteella. Esimerkiksi ilmaisu Juan, mene kauppaan! se ei edusta ehdotusta, koska siltä puuttuu tämä mahdollisuus. Samaan aikaan lauseet, kuten Juan menivät kauppaan ostamaan tai Juan menivät kauppaan, tekevät.
Yksinkertainen väärä ehdotus esimerkki
Nyt matemaattisella tasolla "10−4 = 6" ja "1 + 1 = 3" ovat ehdotuksia. Ensimmäinen tapaus on tosi ehdotus. Toisaalta toinen on osa virheellisiä ehdotuksia.
Joten tärkeätä ei ole ehdotus tai tapa, jolla se esitetään, vaan sen totuusarvo. Jos tämä on olemassa, niin myös ehdotus on olemassa.
ominaisuudet
Yksinkertainen tai yhdistelmä
Virheelliset väitteet voivat olla yksinkertaisia (ne ilmaisevat vain yhden totuusarvon) tai yhdistettyjä (ne ilmaisevat useita totuusarvoja). Tämä riippuu siitä, vaikuttavatko ketjuelementit komponentteihisi vai eivät. Nämä liittyvät elementit tunnetaan liittiminä tai loogisina liitäntöinä.
Esimerkki entisistä ovat virheelliset tyypit: "Valkoinen hevonen on musta", "2 + 3 = 2555" tai "Kaikki vangit ovat viattomia".
Toisesta tyypistä vastaa ehdotuksia, kuten "Ajoneuvo on musta tai se on punainen", "Jos 2 + 3 = 6, niin 3 + 8 = 6". Jälkimmäisessä havaitaan yhteys ainakin kahden yksinkertaisen ehdotuksen välillä.
Kuten totta, myös väärät ovat kietoutuneet muihin yksinkertaisiin ehdotuksiin, jotka voivat olla vääriä ja toiset totta. Kaikkien näiden ehdotusten analysoinnin tulos johtaa totuuden arvoon, joka edustaa kaikkien kyseessä olevien ehdotusten yhdistelmää.
deklaratiivinen
Virheelliset väitteet ovat deklaratiivisia. 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 valheellisuuden (tai totuudenmukaisuuden) arvoa selvittää ennen kuin tiedät tosiasian, että "x" edustaa. Siksi kumpaakaan ilmaisusta ei pidetä deklaratiivisena.
Puute epäselvyyttä
Virheellisillä väitteillä ei ole epäselvyyttä. Ne on rakennettu siten, että niillä on vain yksi mahdollinen tulkinta. Tällä tavoin sen totuusarvo on kiinteä ja ainutlaatuinen.
Toisaalta tämä epäselvyyden puute heijastaa sen universaalia. Siksi nämä voivat olla yleisesti negatiivisia, erityisesti negatiivisia ja eksistentiaalisesti negatiivisia:
- Kaikki planeetat pyörivät auringon ympäri (yleisesti negatiivinen).
- Jotkut ihmiset tuottavat klorofylliä (erityisen negatiivista).
- Maalla lintuja ei ole (eksistentiaalisesti negatiivisia).
Yhdellä totuusarvolla
Virheellisillä väitteillä on vain yksi totuusarvo, väärä. Niillä ei ole samanaikaisesti todellista arvoa. Joka kerta kun sama ehdotus esitetään, sen arvo pysyy väärin, kunhan sen muotoiluolosuhteet eivät muutu.
Alttiina edustamaan symbolisesti
Virheelliset ehdotukset voidaan herättää symbolisesti. Tätä varten sanaston ensimmäiset kirjaimet osoitetaan tavanomaisella tavalla niiden määrittelemiseksi. Siten ehdotuslogiikassa pienet kirjaimet a, b, c ja sitä seuraavat kirjaimet symboloivat ehdotuksia.
Kun ehdotukselle on osoitettu symbolinen kirjain, se ylläpidetään koko analyysin ajan. Vastaavasti, määritettynä vastaavalle totuusarvolle, ehdotuksen sisällöllä ei ole enää merkitystä. Kaikki myöhemmät analyysit perustuvat symboliin ja totuuden arvoon.
Liittimien tai loogisten liitäntöjen käyttö
Yhdyksiä (liittimiä tai loogisia liitoksia) käyttämällä voidaan koota useita yksinkertaisia vääriä ehdotuksia ja muodostaa yhdiste. Nämä liittimet ovat liitos (ja), disjunktio (tai), implikaatio (silloin), ekvivalenssi (jos ja vain jos) ja kieltäminen (ei).
Nämä liittimet yhdistävät ne muihin, jotka saattavat myös olla väärässä. Kaikkien näiden ehdotusten totuusarvot yhdistetään toisiinsa kiinteiden periaatteiden mukaisesti, ja ne antavat "kokonais" totuusarvon koko yhdistelmäehdotukselle tai väitteelle, kuten se myös tunnetaan.
Toisaalta, liittimet antavat "kokonaisen" totuuden arvon ehdotuksille, joita ne ketjuttavat yhteen. Esimerkiksi väärä lause, joka on ketjutettu väärään lauseeseen disjunktioliitännän kautta, palauttaa väärän arvon yhdisteelle. Mutta jos se ketjuutetaan totta lausuntoon, yhdistelmälausekkeen totuusarvo on totta.
Totuuspöydät
Kaikki totuuden arvojen yhdistelmät, jotka virheelliset ehdotukset voivat hyväksyä, tunnetaan totuustaulukoina. Nämä taulukot ovat looginen työkalu erilaisten virheellisten ehdotusten analysoimiseksi.
Nyt saatu totuusarvo voi olla totta (tautologia), väärä (ristiriita) tai ehdollinen (väärä tai totta, olosuhteista riippuen). Taulukoissa ei oteta huomioon kunkin virheellisen väitteen sisältöä, vaan ainoastaan niiden totuusarvoa. Siksi ne ovat universaalia.
Esimerkkejä vääristä ehdotuksista
Yksinkertaiset ehdotukset
Yksinkertaisilla ehdotuksilla on yksi totuusarvo. Tässä tapauksessa totuuden arvo on väärä. Tämä arvo osoitetaan riippuen siitä, mikä henkilö on sitä mieltä, että henkilö antaa todellisuuden todellisuudesta. Esimerkiksi seuraavilla yksinkertaisilla lauseilla on väärä arvo:
- Nurmi on sininen.
- 0 + 0 = 2
- Opiskelu raa'uttaa ihmisiä.
Yhdistetyt ehdotukset
Yhdistelmävirhelauseet muodostuvat yksinkertaisista, jotka on kytketty liittimien kautta:
- Nurmi on sininen ja opiskelu typerättää ihmiset.
- 0 + 0 = 2 tai ruoho on sinistä.
- Jos 0 + 0 = 2, ruoho on sinistä.
- 0 + 0 = 2, ja ruoho on sinistä vain silloin, kun opiskelu ihmisen omistaa.
Viitteet
- Teksasin yliopisto Austinissa. (s / f). Alustava logiikka. Otettu osoitteesta cs.utexas.edu.
- Simon Fraser University. (s / f). Alustava logiikka. Otettu cs.sfu.ca.
- Old Dominion University. (s / f). Ehdotusta. Otettu osoitteesta cs.odu.edu.
- Filosofian Internet-tietosanakirja. (s / f). Alustava logiikka. Otettu iep.utm.edu.
- Encyclopædia Britannica. (2011, huhtikuu). Totuustaulukko. Otettu britannica.com-sivustolta.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. ja Cancino, D. (2008). Looginen ja muodollinen ajattelu. Bogotá: Toimituksellinen yliopisto del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Kuinka tehdä asioita logiikan avulla. New Jersey: Lawrence Erlbaum Associates, Inc.