|
| relating to or having the nature of illation or inference | |||
|
| a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false | |||
|
| relating to logical deduction |