Changes

User:Jon Awbrey/GRAPHICS (view source)

Revision as of 12:40, 18 August 2009

42 bytes added , 12:40, 18 August 2009

→‎Analysis of contingent propositions: number proof display

Line 777: Line 777:

−

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

+

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

| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)

|}

Line 799: Line 799:

−

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

+

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

| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)

|}

Line 805: Line 805:

−

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

+

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

| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]

| (30)

Line 812: Line 812:

−

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

+

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

| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 2a Alt.jpg|500px]]

| (31)

Line 819: Line 819:

+

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

+

|

{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"

|-

Line 858: Line 860:

|-

| [[Image:Equational Inference Bar -- DNF.jpg|500px]]

+

|}

+

| (31)

|}

Jon Awbrey

12,080

edits