物事を考えるときに，いろいろな情報から推論して，正しい内容を導き出すことがある．ここでは，正しい推論とは何かについて，記号論理学を使って勉強する．日常使っている日本語のような自然言語のままで扱ったのでは， 正しさの見通しが悪くなるため，まず，記号に置き換えることによって，本質的な論理構造を明らかする．その上の推論を考えることによって，正しい推論について正しく理解することができる．ある事柄を証明するとはどういう意味なのか，その事柄が正しいということはどういうことかについて，命題論理と述語論理を中心にしっかり学び，古典的な論理学以外の現代論理学の発展的な内容についても紹介する．