¬[( 𝑟 →𝑟) ∨ 𝑞 ] → [(¬ 𝑞→ ¬ 𝑟) ∧𝑟
Mathbot Says...
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.
¬[( 𝑟 →𝑟) ∨ 𝑞 ] → [(¬ 𝑞→ ¬ 𝑟) ∧𝑟
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.