volume_mute
Is the following an equivalent wffs?
publish date: 2022/08/19 01:05:00 GMT+10
volume_mute(A → B) ⇔ (B' → A')
Correct Answer
Yes
Explanation
It has the form of P ↔ Q, where P is the wff (A → B) and Q is the wff (B' → A'), and P ↔ Q is a tautology.
Therefore, (A → B) ⇔ (B′ → A′)
Reference
Mathematical Structures for Computer Science, Discrete Mathematics and its Applications, seventh edition