Uses of Class
edu.uky.ai.logic.BooleanProposition

Packages that use BooleanProposition

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Uses of BooleanProposition in edu.uky.ai.logic

Subclasses of BooleanProposition in edu.uky.ai.logic

Modifier and Type	Class	Description
class	Conjunction	A conjunction, or logical AND statement, is true just when all of its arguments are true.
class	Disjunction	A disjunction, or logical OR statement, is true just when one or more of its arguments are true.
class	Implication	An implication, or logical IF statement, is defined by the truth value of its two parts, the antecedent and the consequent.
class	NegatedAtom	The negation of an Atom.
class	Negation	Represents the negation (or opposite) of a proposition.