temel mantık. biz lisedeyken yılar önce öğretirlerdi. o zamanlar bilgisayarlarda basic mantıkla çalışırdı; p veya q ise gibi imleçlerle önermeler sınanırdı, kapalı devre açık devre, ampul yanar mı falan gibi öğretmişlerdi. mantığın temelidir. modern mantıktır bir diğer adıda. (bkz: modern mantık)