Uses of Record Class
org.episteme.social.philosophy.LogicSolver.Proposition

Packages that use LogicSolver.Proposition

Package	Description
org.episteme.social.philosophy	Provides support for philosophy, including formal logic, ethics, epistemology, and storytelling.

Uses of LogicSolver.Proposition in org.episteme.social.philosophy

Methods in org.episteme.social.philosophy with parameters of type LogicSolver.Proposition

Modifier and Type	Method	Description
static boolean	LogicSolver.isValidSyllogism(LogicSolver.Proposition major, LogicSolver.Proposition minor, LogicSolver.Proposition conclusion)	Checks if a categorical syllogism is valid based on classical Aristotelian rules.