Fikr, haqqoniylik qiymatlari, sodda va tuzilgan fikrlar, fikr o`zgaruvchilari, inkor, kon’yunksiya, diz`yunksiya, implikatsiya, ekvivalensiya , formulalar, formulalarning teng uchliligi, tavtologiya, qarama-qarshilik, rostlik jadvali, mantiq qonunlari haqida so`z uyritiladi.