@AmirHosein
به نظر میرسه منظور جدول ارزشی است که برای بررسی هم ارزی گزاره ها رسم می کنیم.
مثلا وقتی بخواهیم نشان دهیم گزاره $p\implies q$ هم ارز
$ \sim q\implies \sim p $ است جدولی رسم می کنیم و تمام حالت های ممکن را برای گزاره های $p$ و$q$ در نظر می گیریم
$$ \begin{array} {c|c} p&q \\ \hline T&T\\ T&F\\ F&T\\ F&F\end{array} $$
گویا سوال ایشان این هست چرا گاهی اوقات این ۴ حالت را در نظر میگیریم و گاهی اوقات ۸ حالت(وقتی ۳ گزاره داشته باشیم) در نظر میگیریم.
در کتاب های درسی جدید این مطالب به دانش آموزان گفته می شود که خیلی خوب هست به نظرم.
