Hvernig á að dæma "logical implication"

Bæta við eigin framburði þinn af "logical implication"

Merkingar og skilgreiningar á "logical implication"

Noun

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

Samheiti: