===== DISJUNÇÃO =====
Esta [[lexico:p:palavra:start|palavra]] designa a [[lexico:r:relacao:start|relação]] existente entre os membros de um [[lexico:j:juizo:start|juízo]] [[lexico:d:disjuntivo:start|disjuntivo]]. O juízo disjuntivo [[lexico:f:figura:start|figura]] entre os juízos hipotéticos (em [[lexico:s:sentido:start|sentido]] lato). Consta de vários membros, dos quais, na disjunção exclusiva, só se afirma que um deles é necessariamente [[lexico:v:verdadeiro:start|verdadeiro]], e os restantes falsos. Esses membros [[lexico:n:nao:start|não]] podem [[lexico:s:ser:start|ser]] todos verdadeiros nem todos falsos simultaneamente, mas um, e só um deles, é necessariamente verdadeiro. Na disjunção não exclusiva, afirma-se unicamente que, pelo menos, um dos membros é verdadeiro, sem especificar qual. Os membros podem ser todos simultaneamente verdadeiros, mas não todos simultaneamente falsos. Para o [[lexico:s:silogismo:start|silogismo]] disjuntivo: [[lexico:s:silogismo-hipotetico:start|silogismo hipotético]]. — [[lexico:b:brugger:start|Brugger]].

(in. Disjunction; fr. Disjonction; al. Disjunktion; it. Disgiunzioné).

Na [[lexico:l:logica:start|Lógica]] [[lexico:e:escolastica:start|escolástica]], é uma propositio hypothetica formada por duas [[lexico:c:categorias:start|categorias]] unidas pelo [[lexico:s:sinal:start|sinal]] "vel" ("[[lexico:s:socrates:start|Sócrates]] currit vel Plato sedet). Na Lógica contemporânea, é uma [[lexico:p:proposicao-molecular:start|proposição molecular]] formada por duas (ou mais) proposições atômicas unidas pelo sinal "v" ("pvq"). Em ambas as Lógicas, a [[lexico:c:condicao:start|condição]] necessária e suficiente para a [[lexico:v:verdade:start|verdade]] de uma disjunção é que pelo menos uma das duas proposições componentes seja verdadeira.

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}