Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
Examples
easy (5)
medium (8)
p -> q, p -> r => p -> (q /\ r)
difficult (11)
p -> q, r -> s => (p /\ r) -> (q /\ s)
p -> (q /\ r) => (p /\ q) <-> (p /\ r)
p <-> r, q <-> s => (p -> q) <-> (r -> s)
p <-> r, q <-> s => (p /\ q) <-> (r /\ s)
p <-> r, q <-> s => (p || q) <-> (r || s)