This threw me a little. Those ^ characters look a lot like the logical conjunction (“and”) operator ∧,
but they also look like the exclusive-or operator in C-like programming languages. For
clarity, maybe spell this out in plain English: “Use A if and only if A and B and C are reliable.”
I can also nitpick that the parentheses are in the wrong place. It’s not that the conjunction of A, B, and C must be reliable, but that each of them individually must be reliable (as is indicated in English by the use of ‘are’ instead of ‘is’). So first you should make it all symbols by introducing modal operators for the usage of a fact and for the reliability of a fact, then group properly to get U[A] ↔ (R[A] ∧ R[B] ∧ R[C]), not U[A] ↔ R[A ∧ B ∧ C].
This threw me a little. Those ^ characters look a lot like the logical conjunction (“and”) operator ∧, but they also look like the exclusive-or operator in C-like programming languages. For clarity, maybe spell this out in plain English: “Use A if and only if A and B and C are reliable.”
Or actually use the proper symbols. ASCII is not a requirement for compatibility in these days.
Thanks; fixed.
I can also nitpick that the parentheses are in the wrong place. It’s not that the conjunction of A, B, and C must be reliable, but that each of them individually must be reliable (as is indicated in English by the use of ‘are’ instead of ‘is’). So first you should make it all symbols by introducing modal operators for the usage of a fact and for the reliability of a fact, then group properly to get U[A] ↔ (R[A] ∧ R[B] ∧ R[C]), not U[A] ↔ R[A ∧ B ∧ C].