The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

2 definitions found
 for propositional logic
From WordNet (r) 3.0 (2006) :

  propositional logic
      n 1: a branch of symbolic logic dealing with propositions as
           units and with their combinations and the connectives that
           relate them [syn: propositional logic, propositional

From The Free On-line Dictionary of Computing (30 December 2018) :

  propositional logic
  propositional calculus
      (or "propositional calculus") A system of symbolic
     logic using symbols to stand for whole propositions and
     logical connectives.  Propositional logic only considers
     whether a proposition is true or false.  In contrast to
     predicate logic, it does not consider the internal structure
     of propositions.

Contact=webmaster@dict.org Specification=RFC 2229