PMII - Principia Mathematica II: Uses of Class com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PMII - JAVA-Packages - Principia Mathematica II

PREV NEXT

FRAMES NO FRAMES

Uses of Class
com.meyling.principia.logic.basic.LogicalOperatorWithTwoFormulas

Packages that use LogicalOperatorWithTwoFormulas
com.meyling.principia.logic.basic

Subclasses of LogicalOperatorWithTwoFormulas in com.meyling.principia.logic.basic

class Conjunction
          Conjunction of formulas.

class Disjunction
          Disjunction of formulas.

class Equivalence
          Equivalence of formulas.

class Implication
          Implication of formulas.