- #1
humanaction
- 7
- 0
Hello, I am a complete novice at formal logic and so far removed from mathematical study that I have no idea how the following should be interpreted, or read, and what its implications are:
(a∨~a)∨~a⇒a∨(~a∨~a)⇒(a∨~a)⇒((a∧⊤)∨~a)⇒((a∧(b∨~b)∨~a)⇒(((a∧b)∨(a∧~b))∨~a)⇒
((a∧b)∨((a∧~b)∨~a))⇒(b∨(~b∨~a))⇒((b∨~b)∨~a)⇒⊤∨~a⇒(a∨~a)∨~a
Wikipedia tells me that the following symbols are; and “read as”:
() precedence grouping; “everywhere”
~ negation; “not” (though the context in which I’m getting this uses ~x to mean “the string x”)
∧ logical conjunction; “and”
∨ logical disjunction; “or”
⇒ material implication; “implies”
⊤ tautology; “top”
I realize I’m way out of my league, and that’s why I came here. If someone could generously explain this to me, and if it’s wrong, where it’s wrong, it would be much appreciated. I feel like this is pretty basic logic, but if there’s something you’d recommend I look into or research so I can understand this on my own, that would work too. Thank you.
P.S. Is there a mathematics forum better than physicsforums.com where I might better post this?
(a∨~a)∨~a⇒a∨(~a∨~a)⇒(a∨~a)⇒((a∧⊤)∨~a)⇒((a∧(b∨~b)∨~a)⇒(((a∧b)∨(a∧~b))∨~a)⇒
((a∧b)∨((a∧~b)∨~a))⇒(b∨(~b∨~a))⇒((b∨~b)∨~a)⇒⊤∨~a⇒(a∨~a)∨~a
Wikipedia tells me that the following symbols are; and “read as”:
() precedence grouping; “everywhere”
~ negation; “not” (though the context in which I’m getting this uses ~x to mean “the string x”)
∧ logical conjunction; “and”
∨ logical disjunction; “or”
⇒ material implication; “implies”
⊤ tautology; “top”
I realize I’m way out of my league, and that’s why I came here. If someone could generously explain this to me, and if it’s wrong, where it’s wrong, it would be much appreciated. I feel like this is pretty basic logic, but if there’s something you’d recommend I look into or research so I can understand this on my own, that would work too. Thank you.
P.S. Is there a mathematics forum better than physicsforums.com where I might better post this?