Svag matchende rim for implikationsfunktion