p ^ q ( birinci ve ikinci önerme doğru ise sonuç önermesi doğru, diğer tüm hallerde yanlış)
p v q ( önermeler arasında sadece bir doğrunun olması sonuç önermesini de doğru kılar)
p => q (birinci önerme doğru ikinci önerme yanlış ise sonuç önermesi yanlış diğer tüm hallerde doğrudur)
p <=> q (karşılıklı koşul önermelerinde her iki önermenin doğru veya yanlış olması durumunda doğru diğer tüm hallerde yanlıştır)
