Neispravne karakteristike prijedloga i primjeri
pogrešne tvrdnje to su logičke jedinice s pravom vrijednošću null (false). Općenito, prijedlog je lingvistički (rečenični) ili matematički izraz iz kojeg se može osigurati njegova istina ili neistina. Propozicije su temelj logike i čine vrlo specifično polje poznato kao propozicijska logika.
Na taj način, glavna karakteristika propozicije je njezina mogućnost da bude deklarirana prema svojoj istinskoj vrijednosti (lažna ili istinita). Na primjer, izraz ¡Juan, idite u trgovinu! ona ne predstavlja propoziciju jer joj nedostaje ta mogućnost. U međuvremenu, molitve kao što je Juan otišao u trgovinu kupiti ili Juan odlazi u trgovinu ako ga imaju.
Sada, u matematičkoj ravnini, "10-4 = 6" i "1 + 1 = 3" su propozicije. Prvi slučaj je pravi prijedlog. Drugi je dio pogrešnih prijedloga.
Dakle, najvažnija stvar nije propozicija ili način na koji je predstavljena, već njezina istinita vrijednost. Ako postoji, postoji i prijedlog.
indeks
- 1 Značajke
- 1.1 Jednostavan ili složen
- 1.2
- 1.3 Nedostatak dvosmislenosti
- 1.4 S jednom vrijednošću istine
- 1.5 Osjetljivo simbolično predstavljanje
- 1.6 Korištenje konektora ili logičkih konektora
- 2 Tablice istine
- 3 Primjeri pogrešnih prijedloga
- 3.1 Jednostavni prijedlozi
- 3.2 Sastavljeni prijedlozi
- 4 Reference
značajke
Jednostavan ili složen
Pogrešne tvrdnje mogu biti jednostavne (izražavaju samo jednu vrijednost istine) ili složene (izražavaju višestruke vrijednosti istine). To ovisi o tome da li na njegove dijelove utječe ulančavanje. Ovi relacijski elementi poznati su kao konektori ili logički vezni.
Primjer prvog su pogrešni prijedlozi tipa: "Bijeli konj je crn", "2 + 3 = 2555" ili "Svi zatvorenici su nevini".
Od drugog tipa odgovaraju propozicijama poput "Vozilo je crno ili crveno", "Ako je 2 + 3 = 6, onda 3 + 8 = 6". U potonjem se promatra veza između najmanje dva jednostavna prijedloga.
Kao i kod istinitih, lažni su isprepleteni s drugim jednostavnim tvrdnjama koje mogu biti lažne, a druge istinite. Rezultat analize svih tih tvrdnji vodi do vrijednosti istine koja će predstavljati kombinaciju svih uključenih tvrdnji.
Vi deklaratoran
Pogrešne tvrdnje su deklarativne. To znači da uvijek imaju pridruženu vrijednost istine (netočna vrijednost).
Ako, na primjer, "x je veći od 2" ili "x = x", ne možete postaviti vrijednost laži (ili istine) sve dok ne znate činjenicu da "x" predstavlja. Stoga se niti jedan od ova dva izraza ne smatra deklarativnim.
Nedostatak dvosmislenosti
Pogrešne tvrdnje nemaju dvosmislenosti. Konstruirani su tako da imaju samo jedno moguće tumačenje. Na taj je način njegova istinita vrijednost fiksna i jedinstvena.
S druge strane, ovaj nedostatak dvosmislenosti odražava njegovu univerzalnost. Dakle, one mogu biti univerzalno negativne, osobito negativne i egzistencijalno negativne:
- Svi se planeti okreću oko sunca (univerzalno negativni).
- Neki ljudi proizvode klorofil (osobito negativan).
- Nema kopnenih ptica (egzistencijalno negativnih).
S jednom vrijednošću istine
Pogrešne tvrdnje imaju samo jednu istinsku vrijednost, lažnu. Oni nemaju istinsku vrijednost istodobno. Svaki put kad se isti prijedlog podigne, njegova će vrijednost ostati netočna sve dok se uvjeti u kojima se formulira ne mijenjaju.
Osjetljivi na simbolično predstavljanje
Pogrešne pretpostavke mogu biti predstavljene na simboličan način. U tu svrhu, prva slova rječnika dodijeljena su na konvencionalan način kako bi ih se označilo. Tako, u logici propozicije, mala slova a, b, c i sljedeća simboliziraju propozicije.
Kada se jednom prijedlogu dodijeli simboličko pismo, ono se održava tijekom analize. Na isti način, dodijeljena odgovarajuća vrijednost istine, sadržaj prijedloga više neće biti važan. Sve naknadne analize temeljit će se na simbolu i vrijednosti istine.
Korištenje konektora ili logičkih konektora
Korištenjem ulančavanja (konektora ili logičkih poveznica), nekoliko jednostavnih pogrešnih tvrdnji može se pridružiti i oblikovati kompozit. Ovi konektori su konjunkcija (y), disjunkcija (o), implikacija (tada), ekvivalentnost (ako i samo ako) i negacija (ne).
Ovi konektori ih povezuju s drugima koji također mogu biti pogrešni ili ne. Vrijednosti istine svih ovih tvrdnji su kombinirane jedna s drugom, u skladu s fiksnim principima, i daju "ukupnu" vrijednost istine za cijeli složeni prijedlog ili argument, kao što je također poznato.
S druge strane, konektori daju vrijednost istine "ukupno" propozicija tog lanca. Na primjer, pogrešna izjava vezana za pogrešnu preko disjunkcijskog konektora baca pogrešnu vrijednost za kompozit. Ali ako je povezana s istinskom tvrdnjom, istinita vrijednost složenog prijedloga bit će istinita.
Tablice istine
Sve moguće kombinacije vrijednosti istine koje pogrešne tvrdnje mogu uzeti su poznate kao tablice istine. Te su tablice logičan alat za analizu nekoliko pogrešnih tvrdnji povezanih zajedno.
Sada dobivena vrijednost istine može biti istinita (tautologija), lažna (kontradikcija) ili kontingentna (lažna ili istinita, ovisno o uvjetima). Te tablice ne uzimaju u obzir sadržaj svakog od pogrešnih tvrdnji, samo njihovu istinsku vrijednost. Stoga su univerzalne.
Primjeri pogrešnih prijedloga
Jednostavni prijedlozi
Jednostavni prijedlozi imaju jedinstvenu istinsku vrijednost. U ovom slučaju, vrijednost istine je lažna. Ta se vrijednost dodjeljuje ovisno o osobnoj percepciji stvarnosti. Na primjer, sljedeće jednostavne tvrdnje imaju pogrešnu vrijednost:
- Trava je plava.
- 0 + 0 = 2
- Studija omamljuje ljude.
Kompozitni prijedlozi
Spojeni pogrešni prijedlozi formiraju se od jednostavnih veza koje su povezane preko konektora:
- Trava je plava i učenici brutaliziraju ljude.
- 0 + 0 = 2 ili je trava plava.
- Ako je 0 + 0 = 2, trava je plava.
- 0 + 0 = 2, a trava je plava ako i samo ako proučava ljude.
reference
- Teksaško sveučilište u Austinu. (s / f). Propositional Logic. Preuzeto iz cs.utexas.edu.
- Sveučilište Simon Fraser. (s / f). Propositional Logic. Preuzeto s cs.sfu.ca.
- Sveučilište Old Dominion. (s / f). Prijedlog. Preuzeto iz cs.odu.edu.
- Internetska enciklopedija filozofije. (s / f). Propositional Logic. Preuzeto iz iep.utm.edu.
- Encyclopædia Britannica. (2011., travanj). Tablica istine. Preuzeto s britannica.com.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. i Cancino, D. (2008). Logika i formalno razmišljanje. Bogota: Uredništvo Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Kako raditi stvari s logikom. New Jersey: Lawrence Erlbaum Associates, Inc..