Disjuntiva
Na lógica a disjuntiva é uma proposição modal, que pode ser própria ou impropriamente disjuntiva. É aquela em que muitos termos ou proposições são conexionados pelas partículas ou, então, cujas partes se opõem, de modo que se uma é verdadeira, a outra ou outras são necessariamente falsas (Ou Pedro move-se, ou está quieto).
Ela exige: a) que a disjunção seja adequada. Não seria verdadeira disjunção a proposição; ou estás sentado ou andas, porque há uma terceira possibilidade: b) que os membros sejam perfeitamente opostos, de modo que não possam ser simultaneamente verdadeiros, nem simultaneamente falsos. Impropriamente disjuntiva é aquela que une duas partes pela partícula ou, mas que não se pode afirmar que apenas uma pode ser verdadeira, quando ambas partes podem ser verdadeiras: Ou Pedro ou Paulo foi apóstolo. Não há aí verdadeiramente oposição.