결국 Introduction to logic 만으로는 한계가 있어 포럼에서 추천하는 유튜버의 논리강의를 찾아듣게되었다.
https://youtu.be/wAxA9szKYSk
well formed formula: wff를 stand for 하는 meta variables 를 언저 정의 내리면서 강의가 시작되는디ㅣ