Duda con problema de lógica matematica

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”