Item:Q13425: Difference between revisions
Created a new Item: double negative elimination, inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula |
(No difference)
|
Created a new Item: double negative elimination, inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula |
(No difference)
|