Från Rilpedia

Kontrafaktiska villkorssatser är satser som uttalar sig om konsekvensen av en icke inträffad händelse. Därav följer att alla kontrafaktiska villkorssatser har formen "Om....så....".
"Om solen slocknade så skulle alla människor på jorden dö" är ett exempel på en sådan sats. Den är alltså kontrafaktisk i den meningen att det faktiskt inte har inträffat och villkorad i den meningen att solens slocknande är ett tillräckligt villkor för att alla människor på jorden ska dö.