#

aristotelian

Here is 1 public repository matching this topic...

justineuro / syllogisms

Algorithmic Truth Table Method for Proving Validity of Argument Forms

algorithm first-order-logic boolean validity truth-table categorical-syllogisms boolean-logic syllogism predicate-logic classical-logic aristotelian aristotelian-logic

Updated Apr 8, 2025
TeX

Improve this page

Add a description, image, and links to the aristotelian topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the aristotelian topic, visit your repo's landing page and select "manage topics."