Checks if implication creation is applicable.
This function verifies that:
Implication creation allows deriving G => F from any proven formula F with any arbitrary formula G.
An array of propositional formulas to check.
True if implication creation can be applied, false otherwise.
Checks if implication creation is applicable.
This function verifies that:
Implication creation allows deriving G => F from any proven formula F with any arbitrary formula G.