Terim, tanımlı ve tanımsız terim. Önerme, önermenin doğruluk değeri, iki önermenin denkliği ve önermenin olumsuzunu örneklerle anlatılmıştır.Tanımlı Terim:Herhangi bir terim kendisinden önce tanımlanmış terimlerden yararlanılarak tanımlanırsa bu terime tanımlı terim denir. Tanımsız terim:Sezgi yoluyla kavradığımız terimlerdir. Doğruluk değerleri aynı olan önermelere denk önermeler denir. denklik sembolü ≡ ifadesi ( denktir )