Semantiska relationer mellan satser

Implikation (logiskt medförande, eng 'entailment'), presupposition, ekvivalens

1. Vår lilla stuga är belyst.
   Solen lyser på vår lilla stuga.
    
   
2. Vår lilla stuga är belyst.
   Vår granne hoppas att solen lyser på vår lilla stuga.
    
   
3. Hamlet älskar Julia.
   Jag insåg inte att Hamlet älskar Julia.
    
   
4. Skogshuggarbasen släckte elden.
   Elden släcktes av skogshuggarbasen.
    
   
5. Antingen är 7 ett jämnt tal eller också är det inte jämnt.
   Bankrånarna flydde i en grå Fiat.
    
   
6. Antingen är 7 ett jämnt tal eller också är det inte udda.
   Bankrånarna flydde i en grå Fiat.
    
   
7. Månen är en gul ost.
   Kalimero har köpt nya strumpor.