Softpedia >Mac >  Applications filed under: predicate logic  (2 items)

Apps filed under: predicate logic

  RSS Feed for this tag 2 applications totalLast updated: Jun 21st 2020, 12:33 GMT

     
  • 337 downloads
  • 2.8 MB
ProofTools

ProofTools 0.6.2

A cross-platform application that was specifically designed to generate graphical semantic tableau...

Jun 21st 2020, 12:33 GMT
Mac OS X (Intel only)
     
  • 207 downloads
  • 1 KB
Principia Mathematica II

Principia Mathematica II 0.00.53

Predicate logic tool in Java

Feb 18th 2012, 01:12 GMT
Mac OS X