one of the connectives of a given system of formal logic, esp those of the sentential calculus, not, and, or, and if … then …
noun, Logic, Philosophy. 1. anything referred to by an incomplete symbol capable of contextual definition.
- Logical form
noun 1. the syntactic structure that may be shared by different expressions as abstracted from their content and articulated by the logical constants of a particular logical system, esp the structure of an argument by virtue of which it can be shown to be formally valid. Thus John is tall and thin, so John is […]
[loj-i-kuh l] /ˈlɒdʒ ɪ kəl/ adjective 1. according to or agreeing with the principles of : a logical inference. 2. reasoning in accordance with the principles of , as a person or the mind: logical thinking. 3. reasonable; to be expected: War was the logical consequence of such threats. 4. of or relating to . […]
- Logical interchange format
file format, file system (LIF) A Hewlett-Packard simple file system format used to boot HP-PA machines and to interchange files between older HP machines. A LIF file system is a header, containing a single directory, with 10-character case sensitive filenames and 2-byte file types, followed by the files. LIF Utilities for linux (http://hpcc.org/hpil/lif_utils.html). (2003-10-09)