Logic for Computer Scientists/Predicate Logic/Predicate Logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 May 2007

  • curprev 17:2517:25, 24 May 2007 imported>SarahGb 2,430 bytes +2,430 New page: ==Predicate Logic== When we introduced propositional logic we argued in treating the electrical circuit example (circuit), that a string like <math>high(inv1, o)</math> can be read intuit...
Retrieved from "https://en-labs.wikimedia.beta.math.wmflabs.org/wiki/Logic_for_Computer_Scientists/Predicate_Logic/Predicate_Logic"