e/List of rules of inference

Information
has gloss	eng: Introduction Rules of inference are syntactical transformation rules which one can use to infer a conclusion from a premise to create an argument. A set of rules can be used to infer any valid conclusion if it is complete, while never inferring an invalid conclusion, if it is sound. A sound and complete set of rules need not include every rule in the following list, as many of the rules are redundant, and can be proven with the other rules.
lexicalization	eng: List of rules of inference
instance of	e/Rule of inference

Meaning
Hebrew
lexicalization	heb: חוקי היקש
Italian
lexicalization	ita: Elenco di regole di inferenza