i109762
type: Concept
is in mapping relation with: {conditional relation; logical implication}
definition: a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
linked concept: {conditional relation; logical implication}
is in semantic relation with: {conditional relation; logical implication}
Source: <http://wordnet-rdf.princeton.edu/wn30/13860281-n>
note: 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

linked concept
label: forbundet begreb @da

has exact match

is in semantic relation with

Source

note
label: bemærkning @da

{conditional relation; logical implication}
label: {conditional relation; implication; logical implication}