はじめまして、論理学に詳しいだろうみなさんに質問があります。
質問の趣旨は、
数理論理学（記号論理学）、いわゆる記号を用いて数学の計算をするようなものがありますが、
記号を用いることで、自分が主張・立論・反論する内容について、正しい論証ができているか、つまり、論理的に瑕疵がないかどうかを
検証することが可能なのですか？

現在、
「論理学入門／野矢茂樹」などを読み論理学を学んでいるところです。
記号を用いなくても、「ならば」の前後関係が正しいかどうか、などを自分で精査すれば、
正しい論証ができているかを検証することはできるのではないか？と感じています。

記号論理学は、記号を用いているためか、ハードルが高く、これから身につけようという気になぜかなれません。
記号を用いて検証(?)をするメリットなどを教えていただけると嬉しいです。
正しい論証をしたいことがあって、その論証に瑕疵がないかどうかを自分で調べたいと考えているからです。
こういった掲示板で質問するのは初めてですが、よろしくお願いします。