dict.org

The DICT Development Group


Search for:
Search type:
Database:

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
           calculus]

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.
  
     (2002-05-21)
  

Contact=webmaster@dict.org Specification=RFC 2229