Word | Noun | Adjective | Verb | Adverb |
---|---|---|---|---|
conditional relation | Yes | No | No | No |
logical implication | Yes | No | No | No |
conditional relation (noun) | 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 | a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false |