A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

derivación

Una derivación o deducción es una secuencia finita, de fbfs cuyo último miembro es la fbf derivada, y cada uno de los demás es o bien un axioma, o alguna de las premisas aceptadas, o el resultado de aplicar una regla de inferencia a alguna(s) de las fbfs que le preceden en la secuencia. Se escribe Γ⊢A para denotar que la fbf A puede derivarse del conjunto de fbfs Γ)

(v. argumento correspondiente, prueba)

disyunción

Una disyunción (inclusiva) es una función de verdad que es verdadera cuando alguno de sus componentes es verdadero, y falsa cuando sus dos componentes son falsos.

También se llama “disyuntor” a la conectiva que representa dicha función de verdad y cuyo símbolo es "∨". También se denomina “disyunción” al enunciado molecular en el que la conectiva dominante es una disyunción.

La disyunción inclusiva se define por la siguiente tabla de verdad:

p q p∨q
V V V
V F V
F V V
F F F

(v. conectiva, disyunción exclusiva, función veritativa)

Referencias en el texto:

disyunción exclusiva

La disyunción exclusiva es una función de verdad que arroja un valor de verdad verdadero cuando sus dos componentes tienen diferente valor de verdad. Se representa por el símbolo "⊻", o también "⊕"

Referencias en el texto:

dominancia (~de conectivas)

Una proposición molecular está formada por más de dos fbfs. La conectiva dominante de dicha proposición molecular es la que tiene mayor alcance, la más general, la que relaciona fbfs más complejas. Los paréntesis son los símbolos auxiliares que nos pueden ayudar a identificar las relaciones de dominancia en las proposiciones moleculares.

Referencias en el texto: