- značilnosti
- Enostavno ali sestavljeno
- Izjava
- Manjkalo je dvoumnosti
- Z eno samo vrednostjo resnice
- Občutljivo, da je predstavljeno simbolično
- Uporaba priključkov ali logičnih povezovalcev
- Tabele resnice
- Primeri napačnih trditev
- Preproste predloge
- Sestavljene predloge
- Reference
Na napačne predlogi so logični subjekti z resnico vrednost nič (lažnih) z. Predlog je na splošno jezikovni (stavek) ali matematični izraz, iz katerega je mogoče zagotoviti njegovo resničnost ali napačnost. Predlogi so osnova logike in tvorijo zelo specifično področje, znano kot propozicijska logika.
Na ta način je glavna značilnost predloga njegova možnost, da se razglasi v skladu z njeno resnično vrednostjo (lažno ali resnično). Na primer izraz Juan, pojdi v trgovino! ne predstavlja predloga, ker nima te možnosti. Medtem sta stavka, kot je Juan, šla v trgovino ali Juan v trgovino.

Primer preproste napačne predloge
Na matematični ravnini sta "10−4 = 6" in "1 + 1 = 3" predloge. Prvi primer govori o resnični trditvi. Drugi del pa je napačen podatek.
Pomembno torej ni predloga ali način predstavitve, temveč njegova resničnost. Če to obstaja, potem obstaja tudi predlog.
značilnosti
Enostavno ali sestavljeno
Napačne trditve so lahko preproste (izražajo samo eno vrednost resnice) ali sestavljene (izražajo več resničnih vrednosti). To je odvisno od tega, ali verižni elementi vplivajo na vaše komponente. Ti povezani elementi so znani kot povezovalni ali logični vezniki.
Primer prvih so napačne trditve tipa: "Beli konj je črn", "2 + 3 = 2555" ali "Vsi zaporniki so nedolžni".
Od drugih vrst ustrezajo predlogi, kot so "Vozilo je črno ali je rdeče", "Če je 2 + 3 = 6, potem je 3 + 8 = 6". Pri slednjem je opaziti povezavo med vsaj dvema preprostima predlogoma.
Tako kot pri pravih se tudi lažni prepletajo z drugimi preprostimi predlogi, ki so lahko nekateri napačni, drugi pa resnični. Rezultat analize vseh teh trditev vodi do resnične vrednosti, ki bo reprezentativna za kombinacijo vseh vpletenih trditev.
Izjava
Napačne trditve so deklarativne. To pomeni, da imajo vedno povezano vrednost resnice (napačna vrednost).
Če imate na primer "x večji od 2" ali "x = x", ne morete ugotoviti vrednosti neresnice (ali resničnosti), dokler ne veste dejstva, ki predstavlja "x". Zato nobeden od obeh izrazov ne velja za deklarativne.
Manjkalo je dvoumnosti
Napačne trditve nimajo dvoumnosti. Zgrajene so tako, da imajo samo eno možno razlago. Na ta način je njegova resnična vrednost fiksna in edinstvena.
Po drugi strani pa to pomanjkanje dvoumnosti odraža njegovo univerzalnost. Tako so lahko splošno negativne, zlasti negativne in eksistencialno negativne:
- Vsi planeti se vrtijo okoli sonca (splošno negativno).
- Nekateri ljudje proizvajajo klorofil (zlasti negativen).
- Kopenskih ptic ni (eksistenčno negativno).
Z eno samo vrednostjo resnice
Napačne trditve imajo samo eno vrednost resnice, napačno. Hkrati nimajo prave vrednosti. Vsakič, ko se pojavi isti predlog, bo njegova vrednost ostala napačna, dokler se pogoji, pod katerimi je oblikovan, ne spremenijo.
Občutljivo, da je predstavljeno simbolično
Napačne predloge je mogoče podati simbolično. V ta namen se na konvencionalen način dodelijo prve črke besedišča, da se jih označi. Tako v logiki predloga male črke a, b, c in naslednje črke simbolizirajo propozicije.
Ko je predlogu dodeljeno simbolično pismo, ga vzdržujemo v celotni analizi. Prav tako vsebina predloga ne bo več pomembna, če mu dodelimo ustrezno vrednost resnice. Vse nadaljnje analize bodo temeljile na simbolu in resnični vrednosti.
Uporaba priključkov ali logičnih povezovalcev
Z uporabo povezav (konektorjev ali logičnih konektiv) je mogoče sestaviti več preprostih napačnih predlogov in sestaviti spojino. Ti priključki so konjunkcija (in), ločitev (ali), implikacija (takrat), enakovrednost (če in samo če) in negacija (ne).
Ti konektorji jih povezujejo z drugimi, ki se lahko zgodijo ali pa tudi ne. Vrednosti resnice vseh teh trditev se med seboj v skladu s fiksnimi načeli kombinirajo in dajejo "skupno" vrednost resnice celotnemu sestavljenemu predlogu ali argumentu, kot je tudi znano.
Po drugi strani konektorji dajo "skupno" resničnost vrednosti predlogov, ki jih povezujejo skupaj. Na primer, napačna izjava, prikovana na napačen stavek, prek priključka za ločitev vrne napačno vrednost spojine. Če pa je priklenjen na resnično trditev, bo vrednost sestavljene izjave resnična.
Tabele resnice
Vse možne kombinacije vrednosti resnice, ki jih napačne trditve lahko sprejmejo, so znane kot tabele resnic. Te tabele so logično orodje za analizo različnih zmotnih predlogov, povezanih skupaj.
Zdaj je lahko pridobljena resnična vrednost resnična (tavtologija), lažna (protislovnost) ali pogojna (napačna ali resnična, odvisno od pogojev). Te tabele ne upoštevajo vsebine vsake napačne izjave, temveč le njihovo resničnost. Zato so univerzalni.
Primeri napačnih trditev
Preproste predloge
Preproste trditve imajo eno samo vrednost resnice. V tem primeru je vrednost resnice napačna. Ta vrednost je dodeljena glede na osebno zaznavanje resničnosti osebe, ki ji jo dodeli. Na primer, naslednje preproste izjave imajo napačno vrednost:
- Trava je modra.
- 0 + 0 = 2
- Študij brutalizira ljudi.
Sestavljene predloge
Sestavljeni napačni stavki so tvorjeni iz preprostih, ki so povezani prek veznikov:
- Trava je modra in preučevanje ljudi zelo stresa.
- 0 + 0 = 2 ali je trava modra.
- Če je 0 + 0 = 2, potem je trava modra.
- 0 + 0 = 2, trava pa je modra, če in samo, če študij ozavešča ljudi.
Reference
- Univerza v Teksasu v Austinu. (s / ž). Propozicijska logika. Vzeto s spletnega mesta cs.utexas.edu.
- Univerza Simon Fraser. (s / ž). Propozicijska logika. Vzeto s cs.sfu.ca.
- Univerza Old Dominion. (s / ž). Predlog. Vzeto s cs.odu.edu.
- Internetna enciklopedija filozofije. (s / ž). Propozicijska logika. Vzeto z iep.utm.edu.
- Encyclopædia Britannica. (2011, april). Tabela resnice. Vzeti z britannica.com.
- Andrade, E .; Kubidi, P .; Márquez, C .; Vargas, E. in Cancino, D. (2008). Logika in formalno razmišljanje. Bogota: Uredništvo Universidad del Rosario.
- Grant Luckhardt, C .; Bechtel, W. (1994). Kako narediti stvari z logiko. New Jersey: Lawrence Erlbaum Associates, Inc.
