Index of /~martinj/Symbolic_Logic/341 Examples/Fitch Proofs/Sentential Logic

 NameLast modifiedSizeDescription
 Parent Directory  -  
 Arrow+.Arrow-.2(Strengthening-Antecedent-2).prf2000-10-13 18:52 590  
 Arrow+.Arrow-.6(Weakening-Consequent-1-Ex-8.23).prf2000-10-13 19:10 590  
 Arrow+.Arrow-.5(Absorption).prf2000-10-13 22:36 597  
 Arrow+.Arrow-.1(Strengthening-Antecedent-1-Ex-8.20).prf2000-10-13 18:55 602  
 Arrow+.Arrow-.3(Weakening-Consequent-2).prf2000-10-13 19:12 602  
 Arrow+.2(Material-Conditional).prf2000-10-15 17:37 609  
 Arrow-.1(Modus-Tollens-Ex-8.19).prf2000-10-13 18:42 672  
 Arrow+.1(Ex-8.26).prf2000-10-15 21:40 716  
 Arrow-.4.prf2000-10-13 21:56 768  
 v-.1.prf2000-10-13 10:12 815  
 v-.2.prf2000-10-13 10:24 826  
 Arrow-.2(Constructive-Dilemma-1).prf2000-10-13 19:02 856  
 Arrow+.Arrow-.4(Ex-8.27).prf2000-10-13 19:20 895  
 v-.5(Violation-Subproof-Rule).prf2000-10-13 10:38 961  
 Arrow-.3(Constructive-Dilemma-2-Ex-8.24).prf2000-10-13 19:04 1.0K 
 DoubleArrow+.1(Ex-8.28).prf2000-10-13 19:38 1.0K 
 v-.4(Distribution-2-Ex-6.20).prf2000-10-13 10:46 1.4K 
 v-.3(Distribution-1).prf2000-10-13 10:33 1.5K 
 DoubleArrow+.Arrow-.Arrow+.2(Exportation).prf2000-10-13 22:16 1.7K 
 DoubleArrow+.Arrow-.1(Ex-8.27).prf2000-10-13 19:27 1.7K 
 DoubleArrow+.Arrow-.Arrow+.1(Contraposition).prf2000-10-13 22:06 1.8K 
 DoubleArrow+.3(Ex-8.30).prf2000-10-13 21:29 2.5K 
 DoubleArrow+.2(Ex-8.29).prf2000-10-13 21:45 2.8K