La decidibilidad es una propiedad que debe reunir todo cálculo en el seno de un sistema formal que consiste en que dicho cálculo debe poder establecer si una determinada fórmula perteneciente a su lenguaje fomal es o no un teorema de dicho cálculo.
En 'deducción' ocasiones se utiliza como sinónimo de derivación o prueba. Otras veces se habla de argumentos deductivos como opuestos a los inductivos, según se dé en ellos inferencia inductiva (v. inducción) o bien inferencia deductiva.
(v.derivación, prueba)
Referencias en el texto:
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 Γ)
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:
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:
Ley lógica que es la negación de la negación de un enunciado. La doble negación de un enunciado equivale lógicamente a su afirmación: ¬¬p≡p
Referencias al texto:
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: