Word:

logical relation

Noun1.logical relation - a relation between propositions
logical relation - A relation R satisfying

f R g <=> For all a, b, a R b => f a R g b

This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.
conditional relation, contradictory, contrary, implication, logic, logical implication, modality, mode, reflexivity, relation, transitivity
Browse
logical argument
Logical Block Addressing
logical complement
logical diagram
logical fallacy
logical implication
Logical impossibility
Logical induction
Logical Interchange Format
Logical Link Control
Logical Link Control and Adaptation Protocol
logical operation
logical positivism
logical positivist
logical proof
logical quantifier
-- logical relation --
logical shift
logical shift left
logical shift right
logical system
logical thinking
logical topology
Logical Unit
Logical Unit 6.2
Logical Unit Number
Logicality
Logically
Logicalness
Logician
logicism
Logics
LOGIN
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home