Aiphabet

Inference Rules Q4

Need a hint?

You can see the Propositional Logic article to revisit inference rules.

Is the following inference rule valid?

undefined