Hur används ordet villkorssats

Kontraposition är en regel i klassisk logik med vilken en villkorssats kan skrivas om med en omkastning, kontraposition, och negering av för-och eftersats.

Den i konditionalis ingående villkorssatsen (här för tydlighetens skull satt inom apostrof) kan vara underförstådd, exempelvis då villkoret nämnts tidigare.

Boken behandlar induktion och kontrafaktiska villkorssatser.

Flödet kan styras med villkorssatser, slingor och ovillkorliga hopp.

Batchfilens funktion kan i viss mån styras efter villkorssatser.