12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 02, 2025
Jump to navigationJump to search→Propositional Equation Reasoning Systems
Line 774:
Line 774:
<br>
<br>
<br>
<br>
<br>+<br>+
+<br>+<br>
===Analysis of contingent propositions===
===Analysis of contingent propositions===
−{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
|}
|}
−{| align="center" cellpadding="8" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
Line 788:
Line 784:
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
|}
|}
−{| align="center" cellpadding="8" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
Line 796:
Line 790:
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
|}
|}
−{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Line 803:
Line 795:
|}
|}
−====Equation 1 : Proof 1====
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Line 810:
Line 802:
|}
|}
−====Equation 1 : Proof 2====
+=====Single Image Version=====
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Line 817:
Line 811:
|}
|}
−=====Serial Image Version=====
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Line 863:
Line 857:
| (31)
| (31)
|}
|}
−{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Line 911:
Line 903:
|}
|}
−====Proof 3====
+====Equation 1 : Proof 3====
{|
{|
Line 1,394:
Line 1,386:
=====Variant 2=====
=====Variant 2=====
+
+{| 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"
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+|-
+| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
+|-
+| [[Image:Equational Inference Bar -- QED.jpg|500px]]
+|}
+| (40)
+|}
+
+===Praeclarum Theorema : Proof by CAST===
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
