Predicate Logic


Advertisement

Symbolic Logic Exploration  v.3

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.

Deductions  v.1.3

Deductions is educational software designed to help students learn proofs in formal logic.





Advertisement

Logic Minimizer

Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital

Logic Expression  v.3.00

Program Logic Expression (LE) calculates and analyzes the logical (Boolean) expression. Supports logical operators: negation, conjunction, disjunction, exclusive disjunction, implication and equivalence.

Seesaw Logic  v.1 1

Seesaw Logic is an enjoyable logic game in which you must decide which is the heaviest object by looking at some seesaws with objects on them.

Walls Logic  v.1 1

Walls Logic is a challenging flash game in which you must put diagonal walls in the empty spaces following certain rules. First, you must respect the number of walls indicated in the pillar.

Every Day Genius Square Logic  v.3.0.0.54

Everyday Genius: SquareLogic is similar to number-based logic games such as Sudoku, but you'd best buckle up 'cause this isn't your daddy's Sudoku. It is a logic-based puzzle game involving colored cages and numbers.

Ant16 Logic Analyser  v.2.1.0.65

The Ant16 software uses VCL40.BPL, a 1.8MByte shared Borland support library. Like the Ant8, the Ant16 logic analyzer is compact, easy to use, powerful, and inexpensive.

Logic Squares for Pocket PCs  v.1.0

Logic Squares brings traditional word logic puzzles/problems to the Pocket PC. The object of Logic Squares is to determine the location of 9 colors in a 3 x 3 grid by reading and then interpreting the clues. Game features include an unlimited

Speak Logic Information Analysis for Microsoft Office V2012 2012 R  v.2.1

The Speak Logic Information Analysis for Microsoft Office enables the analysis of information and communications within Microsoft Word, Microsoft Outlook and Microsoft PowerPoint.

Speak Logic Information Analysis Desktop V2012 2012 R  v.2.1

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops.

Speak Logic Information Analysis for Internet Explorer V2012 2012 R  v.2.1

The Speak Logic Information Analysis for Internet Explorer enables users to analyze information and communications in Internet Explorer.

Pages : 1 | 2 | Free
Newest Reviews