User contributions
21 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+237
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+372
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
phrasing
+6
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
cleanup
-24
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+195
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis
+174
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+1,035
20 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+341
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Proof as semiosis: TeX markup
+181
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphics
-24,290
User:Jon Awbrey/GRAPHICS
Proof 3: renumber frames
+16
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg
no edit summary
File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg
no edit summary
File:Equational Inference Bar -- QED.jpg
no edit summary
File:Equational Inference Bar -- Spike.jpg
no edit summary
File:Equational Inference Bar -- Emptiness.jpg
no edit summary
User:Jon Awbrey/GRAPHICS
Propositional Equation Reasoning Systems: add proof template
+2,467
User:Jon Awbrey/GRAPHICS
Propositional Equation Reasoning Systems
+274
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: Proof 3 : Old Version
+26,816
19 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-1,532
File:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg
no edit summary
User:Jon Awbrey
Presently …: add item
+98
Directory:Jon Awbrey
Presently …: add item
+98
PERS
redir acronym
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-931
File:Logical Graph ((P , P Q R)).jpg
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-1,146
File:Logical Graph (P (Q)) (P (R)) DNF.jpg
no edit summary
18 August 2009
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-683
File:Logical Graph (P Q R , (P)).jpg
no edit summary
Null graph
cleanup
-11
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: convert graphic
-7,506
User:Jon Awbrey/GRAPHICS
Analysis of contingent propositions: add example
+1,463
File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-8.jpg
no edit summary