- egenskaber
- Enkelt eller sammensat
- deklarativ
- Manglende tvetydighed
- Med en enkelt sandhedsværdi
- Modtagelig for at blive repræsenteret symbolsk
- Brug af stik eller logiske forbindelser
- Sandhedstabeller
- Eksempler på forkerte forslag
- Enkle forslag
- Sammensatte forslag
- Referencer
De forkerte forslag er logiske enheder med en sandhedsværdi nul (falsk). Generelt er et forslag et sprogligt (sætning) eller et matematisk udtryk, hvorfra dets sandhed eller forfalskning kan sikres. Forslag er grundlaget for logik og udgør et meget specifikt felt kaldet propositionslogik.
På denne måde er det vigtigste kendetegn ved et forslag dets mulighed for at blive erklæret i henhold til dets sandhedsværdi (falsk eller sand). For eksempel udtrykket Juan, gå i butikken! det repræsenterer ikke et forslag, fordi det mangler denne mulighed. I mellemtiden gik sætninger som Juan i butikken for at købe eller Juan går i butikken.
Simpelt forkert eksempeleksempel
På det matematiske plan er "10−4 = 6" og "1 + 1 = 3" forslag. Den første sag handler om et sandt forslag. For det andet er den anden del af de forkerte forslag.
Det, der er vigtigt, er ikke forslaget eller den måde, det præsenteres på, men dets sandhedsværdi. Hvis dette findes, findes forslaget også.
egenskaber
Enkelt eller sammensat
Fejlagtige påstande kan være enkle (de udtrykker kun en sandhedsværdi) eller sammensatte (de udtrykker flere sandhedsværdier). Dette afhænger af, om dine komponenter påvirkes af kædelementer. Disse relaterede elementer er kendt som stik eller logiske forbindelser.
Et eksempel på førstnævnte er forkerte forslag af typen: "Den hvide hest er sort", "2 + 3 = 2555" eller "Alle fanger er uskyldige".
Af den anden type svarer forslag som "Køretøjet er sort eller det er rødt", "Hvis 2 + 3 = 6, så 3 + 8 = 6". I sidstnævnte observeres forbindelsen mellem mindst to enkle forslag.
Som med de sande, er de falske sammenflettet med andre enkle forslag, der kan være nogle falske og andre sande. Resultatet af analysen af alle disse forslag fører til en sandhedsværdi, der vil være repræsentativ for kombinationen af alle de involverede forslag.
deklarativ
Fejlagtige forslag er erklærende. Dette betyder, at de altid har en tilknyttet sandhedsværdi (falsk værdi).
Hvis du for eksempel har "x er større end 2" eller "x = x", kan du ikke fastslå værdien af falskhed (eller sandhed), før du ved, at "x" repræsenterer. Derfor betragtes ingen af de to udtryk som erklærende.
Manglende tvetydighed
De forkerte forslag har ingen tvetydighed. De er konstrueret på en sådan måde, at de kun har en mulig fortolkning. På denne måde er dens sandhedsværdi en fast og unik værdi.
På den anden side afspejler denne mangel på tvetydighed dens universalitet. Disse kan således være universelt negative, især negative og eksistentielt negative:
- Alle planeter drejer sig om solen (universelt negativ).
- Nogle mennesker producerer klorofyll (især negativ).
- Der er ingen landfugle (eksistentielt negative).
Med en enkelt sandhedsværdi
Fejlagtige forslag har kun én sandhedsværdi, falske. De har ikke samtidig den sande værdi. Hver gang det samme forslag fremsættes, forbliver dets værdi forkert, så længe betingelserne, under hvilke det er formuleret, ikke ændres.
Modtagelig for at blive repræsenteret symbolsk
Fejlagtige forslag er modtagelige for at blive repræsenteret symbolsk. Til dette formål tildeles de første bogstaver i ordforrådet på en konventionel måde til at udpege dem. I propositionslogik symboliserer de små bogstaver a, b, c og efterfølgende bogstaver således forslag.
Når et forslag er blevet tildelt et symbolsk bogstav, opretholdes det under hele analysen. Tilsvarende, tildelt den tilsvarende sandhedsværdi, betyder indholdet af forslaget ikke længere noget. Al efterfølgende analyse vil være baseret på symbolet og sandhedsværdien.
Brug af stik eller logiske forbindelser
Gennem brug af forbindelser (stik eller logiske forbindelser) kan flere enkle forkerte forslag sættes sammen og danne en forbindelse. Disse stik er forbindelse (og), adskillelse (eller), implikation (derefter), ækvivalens (hvis og kun hvis) og negation (nej).
Disse stik forbinder dem med andre, der måske eller måske ikke også er forkerte. Sandhedsværdierne i alle disse påstande kombineres med hinanden i henhold til faste principper og giver en "total" sandhedsværdi for hele sammensatte forslag eller argument, som det også er kendt.
På den anden side giver konnektorerne den "samlede" sandhedsværdi af de forslag, de kæder sammen. For eksempel returnerer en forkert sætning, der er bundet til en forkert sætning via et forskydningsstik, en falsk værdi for forbindelsen. Men hvis det er bundet til en sand udsagn, vil sandhedsværdien af den sammensatte udsagn være sand.
Sandhedstabeller
Alle mulige kombinationer af sandhedsværdier, som de forkerte forslag kan vedtage, kaldes sandhedstabeller. Disse tabeller er et logisk værktøj til analyse af forskellige forkerte forslag, der er knyttet sammen.
Nu kan den opnåede sandhedsværdi være sand (tautologi), falsk (modsigelse) eller betinget (falsk eller sand, afhængigt af betingelserne). Disse tabeller tager ikke højde for indholdet af hver af de fejlagtige udsagn, kun deres sandhedsværdi. Derfor er de universelle.
Eksempler på forkerte forslag
Enkle forslag
Enkle forslag har en enkelt sandhedsværdi. I dette tilfælde er sandhedsværdien falsk. Denne værdi tildeles afhængigt af den personlige opfattelse af virkeligheden for den person, der tildeler den. For eksempel har følgende enkle udsagn falsk værdi:
- Græsset er blåt.
- 0 + 0 = 2
- At studere brutaliserer mennesker.
Sammensatte forslag
Sammensatte fejlagtige sætninger dannes ud fra enkle, der er forbundet via stik:
- Græsset er blåt, og studiet forstyrrer mennesker.
- 0 + 0 = 2 eller græsset er blåt.
- Hvis 0 + 0 = 2, er græsset blåt.
- 0 + 0 = 2, og græsset er blåt, hvis og kun hvis undersøgelse forstyrrer mennesker.
Referencer
- University of Texas i Austin. (s / f). Forslagslogik. Taget fra cs.utexas.edu.
- Simon Fraser University. (s / f). Forslagslogik. Taget fra cs.sfu.ca.
- Old Dominion University. (s / f). Forslag. Taget fra cs.odu.edu.
- Internet Encyclopedia of Philosophy. (s / f). Forslagslogik. Taget fra iep.utm.edu.
- Encyclopædia Britannica. (2011, april). Sandhedstabel. Taget fra britannica.com.
- Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. og Cancino, D. (2008). Logik og formel tænkning. Bogotá: Redaktionel Universidad del Rosario.
- Grant Luckhardt, C.; Bechtel, W. (1994). Sådan gør du ting med logik. New Jersey: Lawrence Erlbaum Associates, Inc.