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:(adsbygoogle = window.adsbygoogle || []).push({});

(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?

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Formal logic question from beginner

Loading...

Similar Threads for Formal logic question | Date |
---|---|

A A "Proof Formula" for all maths or formal logic? | Apr 19, 2017 |

A Formal axiom systems and the finite/infinite sets | Mar 1, 2017 |

Are formal systems of first order logic incomplete? | Oct 21, 2015 |

Confused about formal definitions of probability theory | Jun 27, 2014 |

Logic confusion - formally clear but practically not so. | Sep 9, 2011 |

**Physics Forums - The Fusion of Science and Community**