propositional logic is a symbolic logic for manipulating propositions  propositional logic deals with the manipulation of logical variables, which represent propositions
propositional logic is a symbolic logic for manipulating propositions  propositional logic deals with the manipulation of logical variables, which represent propositions
logic involving booleans  can be used to represent an environment