Kva kan du om implikasjon og ekvivalens?