Fundamentos de Lógica Proposicional y Conectores Lógicos
Clasificado en Informática
Escrito el en 
español con un tamaño de 2,86 KB
Sistemas Lógicos y Valores de Verdad
34. ¿Qué significa lógica bivalente?
Es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusiones). En la lógica bivalente, una proposición solo puede ser verdadera o falsa.
- Clásico sistema lógico bivalente: Lógica aristotélica.
35. ¿Qué significa lógica difusa?
Se basa en lo relativo de lo observado como posición diferencial. Este tipo de lógica toma dos valores aleatorios, pero contextualizados y referidos entre sí.
Estructura y Operaciones en las Tablas de Verdad
36. Indica la progresión geométrica que aparece en las tablas de verdad y el motivo de su aparición.
En las tablas de verdad aparece una progresión geométrica dependiendo del número de enunciados que haya, porque cada enunciado puede tener dos posibles resultados, V (Verdadero) y F (Falso). Estos se elevan al número de enunciados que tenemos.
Fórmula: 2n (donde n es el número de elementos).
Ejemplo: A y B = 2 enunciados; por lo tanto, 22 = 4 filas.
37. ¿Qué es una tabla de verdad?
Es una tabla que muestra el valor de verdad de una proposición compuesta para cada combinación de verdad que se pueda asignar.
38. ¿Qué es, en lógica, la negación? Ejemplifica usando las convenciones de la lógica.
La negación (¬) es una operación lógica que invierte el valor de lo que se ha dicho.
39. ¿Qué es, en lógica, la conjunción? Ejemplifica usando las convenciones de la lógica.
La conjunción (∧) entre dos proposiciones es un operador lógico que resulta verdadero solo si los dos operadores son verdaderos.
40. ¿Qué es, en lógica, la disyunción (inclusiva)? Ejemplifica usando las convenciones de la lógica.
La disyunción inclusiva (∨) es un conector lógico que resulta verdadero si uno de los dos operadores es verdadero; es decir, solo resulta falso si los dos operadores también lo son.
41. ¿Qué es, en lógica, la disyunción (excluyente)? Ejemplifica usando las convenciones de la lógica.
La disyunción excluyente (⊕) es un conector lógico que solamente resulta verdadera cuando ambos operadores son diferentes, y resulta falsa si ambos son iguales.
42. ¿Qué es, en lógica, el condicional? Ejemplifica usando las convenciones de la lógica.
El condicional (→) es un conector lógico que resulta falso cuando el consecuente (B) es falso siendo el antecedente (A) verdadero, y resulta verdadero en el resto de los casos.