'''Alternatywa ''': zdanie złożone mające postać ''p lub q'', gdzie ''p, q'' są zdaniami, zapisywane : ''p'' &andqand ''q''. Przez alternatywę rozumie się też zdanie mające postać ''p(1) lub p(2) lub ... lub p(n)''. Alternatywę można zdefiniować bardziej formalnie jako '''dwuargumentowe działanie określone w zbiorze zdań, które zdaniom ''p, q '' przyporządkowuje zdanie'' p lub q'''''<BR> Działanie to pozostaje w ścisłym związku z dodawaniem zbiorów (patrz [[Algebra zbiorów]]). Dlatego zdanie utworzone z innych zdań przy użyciu alternatywy jest też nazywane '''sumą logiczną'''. Alternatywa jest '''prawdziwa, jeżeli którekolwiek z jej zdań składowych jest prawdziwe'''. W przeciwnym razie alternatywa zdań jest '''fałszywa'''.
