Checks if negation introduction is applicable.
Negation introduction allows us to infer ¬A from two implications:
An array of propositional formulas to check.
true if we can infer negation, otherwise false.
true
false
Checks if negation introduction is applicable.
Negation introduction allows us to infer ¬A from two implications: