a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
type
is in mapping relation with
definition
has close match
forbundet begreb
linked concept
has exact match
is in semantic relation with
Source
bemærkning
note
{conditional relation; logical implication}
{conditional relation; implication; logical implication}