Contradicción lógica. Una fórmula [v fórmula bien formada] o enunciado molecular [v] o compuesta es una contradicción si y sólo si, al realizar la combinación de los valores veritativos de sus proposiciones atómicas [v] o simples componentes, el resultado de valores de su conectivo principal es en...

Proposiciones atómicas. Una proposición es atómica cuando no se encuentra enlazada a otra proposición por medio de los conectivos lógicos [v] `no', `si, entonces', `si y sólo sí', `y', y `o'.   ejemplos de proposiciones atómicas.          ...

Necesidad lógica. Dícese de la relación que guarda la conclusión con las premisas de un argumento que es lógicamente necesaria si el conjunto de premisas es consistente y la negación de la conclusión  implica una contradicción. La conclusión se deriva necesariamente de las premisas.  Es...

Contingencia Lógica. Una fórmula o enunciado molecular o compuesto,es contingente si y sólo si, al realizar la combinación de los valores veritativos de sus proposiciones atómicas [v] o simples componentes,  el resultado de valores de su conectivo principal es en al menos un caso verdadero y...

Contingencia. Designa  una de las modalidades del juicio; en sentido amplio significa la modalidad opuesta a `necesidad'.  Un argumento es lógicamente contingente cuando no es posible establecer que la conclusión se desprenda necesariamente [v. necesidad lógica] de las premisas [v....

Consistencia de las premisas. Un conjunto de premisas [v] es consistente si y sólo sí no es posible intepretarlas de manera que alguna de ellas sea una fórmula falsa.   Ejemplo:   1) p --> q  En el cual, si interpretamos el conjunto de 2) q --> r  premisas en manera que...

Disyunción Inclusiva  (DI.) Dícese que una fórmula [v. fórmula bien formada] es disyuntiva (o alternación( cuando se combinan dos o más enunciados o fórmulas bien formadas (atómicas o moleculares) con el conectivo `v'. Los enunciados así combinados se llaman disyuntos (o alternativos). ...

Conmutación, regla de la. La conmutatividad se presenta entre dos expresiones cuando la alteración o inversión de los términos de que se compone una expresión lógica no sufre alteración alguna en su función de valor de verdad. Esta regla se emplea exclusivamente en los conectivos de conjunción [v]...

Conjunción infinita, ley de la. Quine [v] establece esta ley para probar la completitud del sistema.  Se le conoce también con el nombre de lema de infinitud de König o el terema del abanico de Brower.  Una clase infinita de esquemas veritativo-funcionales es consistente, si l oes cada...

Conjunción, Ley de la (Conj.).  Regla lógica de inferencia que postula: dado el caso que dos premisas [v] cualesquiera son verdaderas (o al menos las presuponemos así) es posible entonces obtener una oración o fórmula conjuntiva con las oraciones u fórmulas [v. conjunción infinita, ley de la]...