Revision history of "If A is a logical consequence of Gamma then the formula set of Gamma union the negation of A is not satisfiable"

From Maths
Jump to: navigation, search

Diff selection: Mark the radio boxes 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.

  • (cur | prev) 11:25, 11 September 2016‎ Alec (Talk | contribs)‎ . . (417 bytes) (+417)‎ . . (Created page with "{{DISPLAYTITLE:If {{M|\Gamma\models A}} then the formula set {{M|\Gamma\cup\{\neg A\} }} is not satisfiable}} {{Stub page|grade=C|msg=At least flesh out the statement}} __TOC_...")
Retrieved from "https://wiki.unifiedmathematics.com/index.php?title=If_A_is_a_logical_consequence_of_Gamma_then_the_formula_set_of_Gamma_union_the_negation_of_A_is_not_satisfiable"