Vad är det omvända, kontrapositiva och omvända?

Villkorspåståenden dyker upp överallt. I matematik eller på andra ställen tar det inte lång tid att stöta på något av formen ”Om P sedan Q.” Villkorliga uttalanden är verkligen viktiga. Vad som också är viktigt är uttalanden som är relaterade till det ursprungliga villkorliga uttalandet genom att ändra positionen för P, Q och negationen av ett påstående. Börjar med ett ursprungligt påstående, vi slutar med tre nya villkorliga påståenden som heter det omvända, det kontrapositiva och det omvända.

Negation

Innan vi definierar det omvända, kontrapositiva och inversa av ett villkorligt påstående måste vi undersöka ämnet negation. Varje påstående i logik är antingen sant eller falskt. Negationen av ett påstående innebär helt enkelt infogning av ordet ”inte ” vid den korrekta delen av påståendet. Tillägget av ordet ”inte” görs så att det ändrar påståendets sanningsstatus.

Det hjälper att titta på ett exempel. Påståendet ”Den räta triangeln är liksidig” har negation ”Den räta triangeln är inte equila teral.” Negationen av ”10 är ett jämnt tal” är påståendet ”10 är inte ett jämnt tal.” Naturligtvis, för det här sista exemplet kan vi använda definitionen av ett udda tal och istället säga att ”10 är ett udda tal.” Vi noterar att sanningen i ett påstående är motsatsen till negationens

Vi kommer att undersöka denna idé i en mer abstrakt miljö . När påståendet P är sant, är påståendet ”inte P” falskt. På samma sätt, om P är falskt, dess negation ”inte ​P” är sant. Negationer betecknas vanligtvis med en tilde ~. Så istället för att skriva ” inte P” kan vi skriva ~P.

    Converse, Contrapositive och Inverse

    Nu kan vi definiera motsatsen, kontrapositiven och inversen av ett villkorligt påstående. Vi börjar med det villkorliga påståendet ”Om P sedan Q.”

    Motsatsen till det villkorliga uttalandet är ”Om QP.”

    Motsatsen i det villkorliga uttalandet är ”Om inte Q så inte P.”

  • Inversen av det villkorliga uttalandet är ”Om inte P så inte Q.”

Vi kommer att se hur dessa påståenden fungerar med ett exempel. Antag att vi börjar med det villkorade uttalandet ”Om det regnade i natt, då är trottoaren blöt.”

Motsatsen till det villkorliga uttalandet är ”Om trottoaren är våt, då regnade det i natt.”

  • Motsatsen till det villkorliga uttalandet är ”Om trottoaren inte är blöt, så regnade det inte i natt.”
  • Det omvända till det villkorliga uttalandet är ”Om det inte regnade i natt, så är trottoaren inte blöt.”

    • Logisk ekvivalens
  • Vi kan undra varför det är viktigt att bilda dessa andra villkorliga uttalanden från vårt första. En noggrann titt på exemplet ovan avslöjar något. Antag att det ursprungliga påståendet ”Om det regnade i natt, då är trottoaren våt” är sant. Vilket av de andra påståendena måste också vara sant?

      Det omvända ”Om trottoaren är blöt, alltså det regnade i natt” är inte nödvändigtvis sant. Trottoaren kan vara blöt av andra skäl.

      Det omvända ”Om det inte regnade i natt, då är trottoaren inte blöt” är inte nödvändigtvis sant. Återigen, bara för att det inte regnade betyder det inte att trottoaren inte är blöt.

    Kontrapositivet ”Om trottoaren inte är blöt, så regnade det inte i natt” är ett sant påstående.

    Vad vi se från detta exempel (och vad som kan bevisas matematiskt) är att ett villkorligt uttalande har samma sanningsvärde som dess kontrapositiva. Vi säger att dessa två påståenden är logiskt likvärdiga. Vi ser också att ett villkorligt uttalande inte är logiskt ekvivalent med dess omvända och inversa.

    Eftersom ett villkorligt uttalande och dess kontrapositiva är logiskt likvärdiga, kan vi använda detta till vår fördel när vi bevisar matematiska satser. Istället för att bevisa sanningen i ett villkorligt uttalande direkt, kan vi istället använda den indirekta bevisstrategin för att bevisa sanningen i det påståendets kontrapositiva. Kontrapositiva bevis fungerar eftersom om det kontrapositiva är sant, på grund av logisk ekvivalens, är det ursprungliga villkorliga uttalandet också sant.

    Det visar sig att även om motsatsen och inversen inte är logiskt likvärdiga med det ursprungliga villkorliga uttalandet, de är logiskt likvärdiga med varandra. Det finns en enkel förklaring till detta. Vi börjar med villkorssatsen ”Om Q then P”. Motsatsen till detta uttalande är ”Om inte P så inte Q.” Eftersom det omvända är det motsatta till det omvända, är det omvända och det omvända logiskt ekvivalenta.

    Lämna ett svar

    Relaterade Inlägg

    • Stockholms historia – Varför heter det Stockholm egentligen?

    • The Notorious Benedict Arnold av Steve Sheinkin

    • En recension av Diary of a Wimpy Kid: Rodrick Rules

    • Mother Goose Board Böcker för spädbarn och småbarn

    • Bokrecension: The Librarian of Basra

    • The Magic Tree House-bokserien av Mary Pope Osborne