Bertrand 1.8
Sponsored Links
Bertrand 1.8 Ranking & Summary
File size:
355.5KB
Platform:
Mac OS Classic
License:
Freeware
Price:
Downloads:
14
Date added:
2002-05-28
Publisher:
Larry Herzberg
Bertrand 1.8 description
Bertrand 1.8 is a program applying a decomposition/instantiation algorithm based on the "consistency tree" method found in Leblanc and Wisdom's textbook "Deductive Logic" to deal with sets of first-order symbolic logic statements (subject-identity supported) for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" and "logical falsity," and produces truth-tables for single truth-functional statements.
Bertrand 1.8 Screenshot
Bertrand 1.8 Keywords
Bertrand 1.8
to deal
symbolic logic
logic statements
Found In
Deductive logic
Bertrand
consistency
logic
statements
1.8
sets
Bertrand 1.8
Math & Science
Education
Bookmark Bertrand 1.8
Bertrand 1.8 Copyright
WareSeeker periodically updates pricing and software information of Bertrand 1.8 full version from the publisher, so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft, Using crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of Bertrand 1.8 Edition. Download links are directly from our publisher sites, torrent files or links from rapidshare.com, yousendit.com or megaupload.com are not allowed
Featured Software
Want to place your software product here?
Please contact us for consideration.
Contact WareSeeker.com
Sponsored Links
Related Information
bertrand chaffee hospital
logic model
logician turing
marcheline bertrand
internal consistency
bertrand meyer
logical net
logic puzzles
consistency quotes
bertrand russell
logic questions
bertrand vacances
definition of consistency
logic gates
bertrand antolin
consistency commercial
consistency of sandstone
logical song
Related Software
iDrum runs as both a standalone native OS X application and as a plug-in for Pro Tools, GarageBand, Logic, and Ableton Live. This means you can use iDrum to create beats from right within your favorite music software environment, perfectly synced with your arrangement and always right where you left it when you return to your project after your next world tour. Free Download
