Mathematical proofs are written as sentences and not as collections of logic symbols.
Through logical operations, it is much easier for me to visualize what the symbols are trying to tell us rather than English text filled with grammar. This is my personal opinion, others may have different opinions.
I just asked this question on another website to find out logical mistakes in my work which is entirely done in the language of propositional logic.
Some people suggested to write it down in sentences in English. Is there any kind of tragedy in writing proofs as collections of logic symbols?
from Hot Weekly Questions - Mathematics Stack Exchange
lorilori
Post a Comment