The concept of '''logical implication''' encompasses a specific logical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used to denote this function and this relation. In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them. | The concept of '''logical implication''' encompasses a specific logical [[function (mathematics)|function]], a specific logical [[relation (mathematics)|relation]], and the various symbols that are used to denote this function and this relation. In order to define the specific function, relation, and symbols in question it is first necessary to establish a few ideas about the connections among them. |