Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 19:40, 24 March 2010

82 bytes added , 19:40, 24 March 2010

→‎Exemplary proofs: renumb figs

Line 162: Line 162:

{| align="center" cellpadding="10"

−

| [[Image:PERS_Figure_12.jpg|500px]] || (12)

+

| [[Image:PERS_Figure_12.jpg|500px]] || (α)

|}

Line 168: Line 168:

{| align="center" cellpadding="10"

−

| [[Image:PERS_Figure_13.jpg|500px]] || (13)

+

| [[Image:PERS_Figure_13.jpg|500px]] || (β)

|}

Line 193: Line 193:

{| align="center" cellpadding="10"

−

| [[Image:PERS_Figure_14.jpg|500px]] || (14)

+

| [[Image:PERS_Figure_14.jpg|500px]] || (α)

|}

Line 199: Line 199:

{| align="center" cellpadding="10"

−

| [[Image:PERS_Figure_15.jpg|500px]] || (15)

+

| [[Image:PERS_Figure_15.jpg|500px]] || (β)

|}

−

====~~Majority~~ function ~~example~~====

+

====Two-thirds majority function====

Consider the following equation in boolean algebra, posted as a [http://mathoverflow.net/questions/9292/newbie-boolean-algebra-question problem for proof] at [http://mathoverflow.net/ MathOverFlow].

−

{| align="center" cellpadding="10"

+

{| align="center" cellpadding="20"

|

<math>\begin{matrix}

Line 215: Line 215:

a b + a c + b c

\end{matrix}</math>

+

| (α)

|}

−

~~=====Proof 1 : Storyboard=====~~

+

The required equation can be proven in the medium of logical graphs as shown in the following Figure.

{| align="center" cellpadding="8"

Line 261: Line 262:

| [[Image:Equational Inference QED.jpg|500px]]

|}

−

| (16)

+

| (β)

|}

−

~~=====Proof 1 : Animation=====~~

Here's an animated recap of the graphical transformations that occur in the above proof:

Line 274: Line 273:

| [[Image:Majority Function Example 2.0 Animation.gif]]

|}

−

| (17)

+

| (γ)

|}

Jon Awbrey

12,080

edits