Implikasjoner og ekvivalenser mellom utsagn
Lov på eksamen
- Skrivesaker og linjal
Ingen kalkulator eller digitale verktøy.
Lest inn av KI og ikke kontrollert manuelt enda — kan inneholde feil.
Nedenfor er det gitt noen utsagn. Skriv av utsagnene. I boksen mellom utsagnene skal du sette inn ett av symbolene , eller . Husk å begrunne svarene.
Fasit
LøsningsforslagKI-generert
Vi sjekker begge retninger.
Hvis , så er . Dette er sant, så .
Hvis , betyr ikke det nødvendigvis at . Likningen har løsningene og , så medfører ikke (moteksempel: ).
Siden implikasjonen bare gjelder én vei, er riktig symbol :
Vi deriverer :
Dette viser at .
Den motsatte veien gjelder derimot ikke: hvis vi bare vet at , kan være for en hvilken som helst konstant , ikke bare . For eksempel har også , uten at .
Siden implikasjonen bare gjelder én vei, er riktig symbol :