Implikation och ekvivalens

I matematisk argumentation används ibland de logiska symbolerna -> och <->. Pilarna kan skrivas mellan två påståenden P och Q.

Implikationspil

Enkelpilen -> är en implikationspil. Den uttalas "imlicerar" eller "medför".

P -> Q

Man säger att det första påståendet medför det andra, eller att det andra påståendet följer av det första (men inte tvärtom).

Ekvivalenspil

Dubbelpilen <-> är en ekvivalenspil.

Den uttalas "är ekvivalent med" eller "om och endast om".

P <->

Om påståendet före pilen är sant så är också påståendet efter pilen sant.

Om påståendet efter pilen är sant så är också påståendet före pilen sant.

Nedanstående YouTube-klipp förklarar ingående implikation och ekvivalens.

Efter att ha tittat på det ovanstående YouTube-klippet, försöker du göra följande uppgifter i boken:

• 4230
• 4231

Under den kommande lektionen analyserar vi tillsammans ingående de utvalda uppgifterna och utifrån de sju matematiska förmågorna hjälps vi åt att komma fram till dess lösningar.