Implikation & ekvivalens

Begeppen implikation & ekvivalens kommer från logiken, som är en del av båfe matematiken och filosofin. Ett annat ord för det är slutledningsförmåga. Vi ska titta på de begrepp och symboler vi behöver från logiken när vi ska arbeta med matematiska bevis. Ett begrepp inom logiken är ordet utsaga och ett annat ord för det är påstående. Påståenden kan man ju göra olika typer av och den första typen av påstående som vi ska titta på kallas för en implikation. Så begreppet implikation kan vi ersätta med påstående, och det är en speciell typ av påstående. Exempelvis om x = 3, så är x² = 9, dvs. ett annat ord för följd. Om A så B, där A motsvarar x = 3 och B är x² = 9. Med symboler kan man beskriva A => B (A medför B), vilket är det kortaste sättet att skriva en implikation. Ekvivalens innebär istället att A => B och B => A (om A medför B, och B medför A), dvs. A är ekvivalent med B.

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