User contributions for 193.196.13.2
Jump to navigation
Jump to search
19 September 2006
- 22:1122:11, 19 September 2006 diff hist +12,241 N Formal Logic/Sentential Logic/Translations →If current
- 22:0422:04, 19 September 2006 diff hist +12,305 N Formal Logic/Sentential Logic/Substitution and Interchange →Simultaneous substitutions current
- 21:5121:51, 19 September 2006 diff hist +11,103 N Formal Logic/Sentential Logic/Properties of Sentential Connectives →Deduction and reductio principles current
- 18:5618:56, 19 September 2006 diff hist +13,993 N Formal Logic/Sentential Logic/Truth Tables →Example current