Lause B on lauseiden A looginen seuraus, mikäli lauseiden A ollessa totta lause B on välttämättä totta.
Developed by StudentB