Det modus sætte ponyer Det er en type logisk argument med begrundet slutning, der hører til det formelle system for fradragsregler i den velkendte propositionelle logik. Denne argumentative struktur er den oprindelige retningslinje, der transmitteres i propositionelogik og er direkte relateret til betingede argumenter..
Argumentet modus sætte ponyer Det kan ses som en tobenet syllogisme, som i stedet for at bruge et tredje udtryk, der fungerer som et link, snarere bruger en betinget sætning, som den forbinder det forudgående element med det deraf følgende element.
Efterlad konventionelisme kan vi se modus sætte ponyer som en proceduremodus) af fradragsreglerne, at ved hjælp af påstanden (lægge) af en antecedent eller reference (et tidligere element), formår at hævde (sætte) til en konsekvens eller konklusion (et senere element).
Denne rimelige formulering starter fra to propositioner eller forudsætninger. Det søger at være i stand til at udlede en konklusion, der på trods af at det er implicit og betinget inden for argumentet kræver en dobbelt bekræftelse - både af udtrykket, der går forud for det og af sig selv, for at blive betragtet som en konsekvens.
Artikelindeks
Denne bekræftende tilstand, som en del af anvendelsen af deduktiv logik, har sin oprindelse i antikken. Det fremkom fra den græske filosof Aristoteles de Estagira's hånd fra det 4. århundrede f.Kr. C.
Aristoteles stillede med modus ponens -som det også kaldes - opnå en begrundet konklusion gennem validering af både en præcedens og en konsekvens i en forudsætning. I denne proces fjernes antecedenten, hvilket kun efterlader det deraf følgende.
Den hellenske tænker ønskede at lægge grundlaget for beskrivende logisk ræsonnement for at forklare og konceptualisere alle fænomener tæt på menneskets eksistens, produkt af hans interaktion med miljøet.
Det modus sætte ponyer har sine rødder i latin. På det spanske sprog er dets betydning: "en metode, der bekræfter (hævder), bekræfter (hævder)", fordi den som tidligere nævnt består af to elementer (en fortilfælde og en deraf følgende) bekræftende i sin strukturering.
Generelt set er modus sætte ponyer korrelerer to propositioner: en konditionerende fortilfælde kaldet "P" og en konditioneret konsekvens kaldet "Q".
Det er vigtigt, at forudsætning 1 altid har konditioneringsformen "hvis-så"; "hvis" er forud for antecedenten, og "derefter" er forud for den deraf følgende.
Dens formulering er som følger:
Forudsætning 1: Hvis "P" så "Q".
Forudsætning 2: "P".
Konklusion: "Q".
Forudsætning 1: "Hvis du vil bestå eksamen i morgen, skal du studere hårdt".
Forudsætning 2: "Du vil bestå eksamen i morgen".
Konklusivt: "Derfor skal du studere hårdt".
Forudsætning 1: "Hvis du vil komme hurtigt i skole, skal du tage den vej".
Præmis 2: "Du vil hurtigt komme i skole".
Konklusivt: "Derfor skal du tage den vej".
Præmis 1: "Hvis du vil spise fisk, skal du shoppe på markedet".
Præmis 2: "Du vil spise fisk".
Afsluttende: "Derfor skal du købe på markedet"
Det modus sætte ponyer Det kan præsentere små variationer i dets formulering. De fire mest almindelige varianter vil blive præsenteret nedenfor med deres respektive eksempler.
Forudsætning 1: Hvis "P" så "¬Q"
Forudsætning 2: "P"
Konklusion: "¬Q"
I dette tilfælde ligner symbolet "¬" negationen af "Q"
Forudsætning 1: "Hvis du bliver ved med at spise på den måde, opnår du ikke din ideelle vægt.".
Præmis 2: "Du bliver ved med at spise på den måde".
Konklusion: "Derfor opnår du ikke din ideelle vægt".
Forudsætning 1: "Hvis du bliver ved med at spise så meget salt, vil du ikke være i stand til at kontrollere din hypertension".
Præmis 2: "Du bliver ved med at spise så meget salt".
Konklusion: "Derfor vil du ikke være i stand til at kontrollere hypertension".
Forudsætning 1: "Hvis du er opmærksom på vejen, går du ikke vild".
Præmis 2: "Du er opmærksom på vejen".
Konklusion: "Derfor vil du ikke gå tabt".
Forudsætning 1: Hvis “P” ^ “R” så “Q”
Forudsætning 2: “P” ^
Konklusion: "Q"
I dette tilfælde henviser symbolet "^" til den kopulative sammenhæng "og", mens "R" repræsenterer et andet fortilfælde, der tilføjes for at validere "Q". Det vil sige, vi er i nærværelse af en dobbelt balsam.
Forudsætning 1: "Hvis du kommer hjem og med popcorn, så ser vi en film.".
Præmis 2: "Du kommer hjem og bringer popcorn".
Konklusion: "Derfor vil vi se en film".
Forudsætning 1: "Hvis du kører fuld og kigger på din mobiltelefon, så vil du gå ned".
Præmis 2: "Du kører fuld og ser din mobiltelefon".
Konklusion: "Derfor vil du gå ned".
Præmis 1: "Hvis du drikker kaffe og spiser chokolade, så passer du på dit hjerte".
Præmis 2: "Du drikker kaffe og spiser chokolade".
Konklusion: "Derfor passer du på dit hjerte".
Forudsætning 1: Hvis “¬P” så “Q”
Præmis 2: "¬P"
Konklusion: "Q"
I dette tilfælde ligner symbolet "¬" negationen af "P".
Forudsætning 1: "Hvis du ikke studerede vokalens sammenfald, vil du ikke bestå sprogeksamen".
Forudsætning 2: "Du studerede ikke vokaloverensstemmelser".
Konklusion: "Derfor vil du ikke bestå sprogeksamen".
Forudsætning 1: "Hvis du ikke fodrer din papegøje, vil den dø".
Præmis 2: "Du fodrer ikke din papegøje".
Konklusion: "Derfor vil han dø".
Forudsætning 1: "Hvis du ikke drikker vand, bliver du dehydreret".
Præmis 2: "Du drikker ikke vand".
Konklusion: "Derfor bliver du dehydreret".
Forudsætning 1: Hvis "P" så "Q" ^ "R"
Forudsætning 2: "P"
Konklusion: "Q" ^ "R"
I dette tilfælde henviser symbolet "^" til den kopulative sammenhæng "og", mens "R" repræsenterer en anden konsekvens i propositionen; derfor vil en fortilfælde bekræfte to konsekvenser på samme tid.
Forudsætning 1: "Hvis du var god mod din mor, så vil din far give dig en guitar og dens strenge".
Præmis 2: "Du var god mod din mor".
Konklusion: "Derfor vil din far give dig en guitar og dens strenge".
Præmis 1: "Hvis du træner i svømning, vil du forbedre din fysiske modstand og tabe sig".
Præmis 2: "Du træner svømning".
Konklusion: "Derfor vil du forbedre din fysiske modstand og tabe sig".
Forudsætning 1: "Hvis du har læst denne artikel i Lifeder, så har du lært og er mere forberedt".
Præmis 2: "Du har læst denne artikel i Lifeder".
Konklusion: "Derfor har du lært og er mere forberedt".
Det modus ponens repræsenterer den første regel for propositionelogik. Det er et koncept, der starter fra enkle forudsætninger til forståelse, åbner forståelsen for dybere ræsonnement.
På trods af at det er en af de mest anvendte ressourcer i logikens verden, kan den ikke forveksles med en logisk lov; det er simpelthen en metode til udarbejdelse af deduktive beviser.
Ved at fjerne en sætning fra konklusionerne, har modus ponens undgår omfattende agglutination og sammenkædning af elementer ved fradrag. For denne kvalitet kaldes det også "adskillelsesregel".
Det modus sætte ponyer er en uundværlig ressource for fuldt kendskab til aristotelisk logik.
Endnu ingen kommentarer