>>693
論理式を理解し、それを扱う
ということと
上の論理式を等価な母国語の文章に書き下したものを見て、
それらを理解し扱えるというのは普通同じこと
だが、後者のほうが易しいと思う人もいるらしい。