Changes

MyWikiBiz, Author Your Legacy — Saturday December 28, 2024
Jump to navigationJump to search
→‎C1. Double negation: renumber figures
Line 93: Line 93:     
{| align="center" border="0" cellpadding="10" cellspacing="0"
 
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:PERS_Figure_05.jpg|500px]] || (1)
+
| [[Image:PERS_Figure_05.jpg|500px]] || (5)
 
|}
 
|}
   Line 140: Line 140:  
| [[Image:Equational Inference Marquee QED.png|500px]]
 
| [[Image:Equational Inference Marquee QED.png|500px]]
 
|}
 
|}
| (5)
+
| (6)
 
|}
 
|}
   Line 151: Line 151:  
| [[Image:Double Negation 2.0 Animation.gif]]
 
| [[Image:Double Negation 2.0 Animation.gif]]
 
|}
 
|}
| (6)
+
| (7)
 
|}
 
|}
  
12,080

edits

Navigation menu