Identificar todas las expresiones que considera son proposiciones lógicas simples y también las expresiones que no son proposiciones. El siguiente paso es identificar proposiciones compuestas. Para lograr esta identificación, conviene reescribir el texto resaltando los conectivos lógicos que no están explícitos en la expresión. Declarar las proposiciones simples, asignando una de las últimas letras del alfabeto para identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones simples, compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de verdad es tautología, contradicción o contingencia.
“Si el incremento en las penas de prisión fuera suficiente para disminuir los niveles de delincuencia, el índice de secuestros iría en disminución. Pero es un hecho que, en lugar de disminuir, el número de secuestros va en aumento”
Respuestas
Respuesta dada por:
21
W: El índice de penas se incrementa
conector lógico: suficiente (entonces)
X: disminuye los niveles de delincuencia
conector lógico: , (entonces)
Y: El indice de secuestros disminuye
conector lógico: Pero (Conjuntor)
Z: El número de secuestros aumenta
En símbolos.
![[(W\Longrightarrow X) \Longrightarrow Y]\wedge Z
[(W\Longrightarrow X) \Longrightarrow Y]\wedge Z](https://tex.z-dn.net/?f=+++%5B%28W%5CLongrightarrow+X%29+%5CLongrightarrow+Y%5D%5Cwedge+Z%0A)
Note además que
por ello se tiene:
![[(W\Longrightarrow X) \Longrightarrow Y]\wedge \neg Y
[(W\Longrightarrow X) \Longrightarrow Y]\wedge \neg Y](https://tex.z-dn.net/?f=+%5B%28W%5CLongrightarrow+X%29+%5CLongrightarrow+Y%5D%5Cwedge+%5Cneg+Y%0A)
Tabla de verdad
![\begin{array}{|c|c|c||c||c|}
\cline{1-5}
W&X&Y&W\Longrightarrow X&[(W\Longrightarrow X) \Longrightarrow Y]\wedge \neg Y\\
\cline{1-5}V&V&V&V&F\\V&V&F&V&F\\V&F&V&F&F\\V&F&F&F&V\\F&V&V&V&F\\F&V&F&V&F\\F&F&V&V&F\\F&F&F&V&F\\\cline{1-5}\end{array} \begin{array}{|c|c|c||c||c|}
\cline{1-5}
W&X&Y&W\Longrightarrow X&[(W\Longrightarrow X) \Longrightarrow Y]\wedge \neg Y\\
\cline{1-5}V&V&V&V&F\\V&V&F&V&F\\V&F&V&F&F\\V&F&F&F&V\\F&V&V&V&F\\F&V&F&V&F\\F&F&V&V&F\\F&F&F&V&F\\\cline{1-5}\end{array}](https://tex.z-dn.net/?f=%5Cbegin%7Barray%7D%7B%7Cc%7Cc%7Cc%7C%7Cc%7C%7Cc%7C%7D%0A%5Ccline%7B1-5%7D%0AW%26amp%3BX%26amp%3BY%26amp%3BW%5CLongrightarrow+X%26amp%3B%5B%28W%5CLongrightarrow+X%29+%5CLongrightarrow+Y%5D%5Cwedge+%5Cneg+Y%5C%5C%0A%5Ccline%7B1-5%7DV%26amp%3BV%26amp%3BV%26amp%3BV%26amp%3BF%5C%5CV%26amp%3BV%26amp%3BF%26amp%3BV%26amp%3BF%5C%5CV%26amp%3BF%26amp%3BV%26amp%3BF%26amp%3BF%5C%5CV%26amp%3BF%26amp%3BF%26amp%3BF%26amp%3BV%5C%5CF%26amp%3BV%26amp%3BV%26amp%3BV%26amp%3BF%5C%5CF%26amp%3BV%26amp%3BF%26amp%3BV%26amp%3BF%5C%5CF%26amp%3BF%26amp%3BV%26amp%3BV%26amp%3BF%5C%5CF%26amp%3BF%26amp%3BF%26amp%3BV%26amp%3BF%5C%5C%5Ccline%7B1-5%7D%5Cend%7Barray%7D)
Es una contingencia.
conector lógico: suficiente (entonces)
X: disminuye los niveles de delincuencia
conector lógico: , (entonces)
Y: El indice de secuestros disminuye
conector lógico: Pero (Conjuntor)
Z: El número de secuestros aumenta
En símbolos.
Note además que
Tabla de verdad
Es una contingencia.
Preguntas similares
hace 6 años
hace 6 años
hace 6 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años