12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday December 04, 2024
Jump to navigationJump to search→Praeclarum Theorema : Proof by CAST
{| 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"
{| 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 Praeclarum Theorema CAST 00.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 01.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
| [[Image:Equational Inference Bar -- Cast A.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 02.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 03.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 04.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 05.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 06.jpg|500px]]
|-
| [[Image:Equational Inference Bar -- Cast D.jpg|500px]]
|-
| [[Image:Proof Praeclarum Theorema CAST 07.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 08.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 09.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 10.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 11.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
| [[Image:Equational Inference Bar -- Cast B.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 12.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 13.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
| [[Image:Equational Inference Bar -- Domination.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 14.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 15.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
| [[Image:Equational Inference Bar -- Cast C.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 16.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 17.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
| [[Image:Proof Praeclarum Theorema CAST 18.jpg|500px]]
|-
|-
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
| (40)
| (23)
|}
|}
