ლოგიკური ოპერატორები (დიზიუნქცია)

ორი ან რამდენიმე გამონათქვამის ”ან” კავშირით გაერთიანებას ლოგიკური შეკრება ან დიზიუნქცია ეწოდება.

შედგენილი წინადადება, რომელიც მიიღება ლოგიკური შეკრებით, ჭეშმარიტია მაშინ და მხოლოდ მაშინ, როდესაც მასში შემავალი ერთი მაინც მარტივი გამონათქვამია ჭეშმარიტი.