loo­gi­nen ­pää­tel­mäsubstantiivi

1. 1.väitteiden välinen looginen suhde, jossa yhden väitteen totuudesta seuraa välttämättä toisen väitteen totuus

1. 1.a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

Synonyymit

Hierarkia