Ekvivalens
Om jag har tre påståenden och ska visa att de är ekvivalenta, räcker det med att visa att det första och det andra påståendet är ekvivalenta och att det andra är ekvivalent med det tredje (så medför det att det första och det tredje också är ekvivalenta eller får man inte göra så)?
Exempel:
A = första påståendet
B = andra påståendet
C = tredje påståendet
A <=> B
B <=> C
Då är A <=> C, eller får man inte göra så?
Eller ska man göra så här?
A => B
B => C
C => A
v.s.b.
Om A <=> B och B <=> C gäller, så gäller också A <=> C.
Om A är sann så är B sann, och om B är sann så är C sann. Etc.
Tack!
Men kan man också göra så?
A => B
B => C
C => A
och då är A <=> B <=> C
Man kan inte läsa så lätt vad som menas, tycker jag.
Om du antar A och får C, och sedan antar C och får A, så har du bevisat ekvivalensen.
