Talk:List of rules of inference
|
|
Four things, first it is not clear on what the organization of this page is, whether the three categories of the rules of inference make sense, second is the list complete and what rules are missing or incorrent, third many rules can be derived from others and this should be mentioned somewhere perhaps in another article or a link give, fourth it would be very nice if there was a short symbolic description of each rule (like for modus ponens).