RESUMEN EXPLICATIVO

TEMA: Lógica Proposicional

CURSO Y CICLO: Lógica Jurídica / X
FECHA DE EJECUCIÓN: 22/04/2023
PARTICIPANTES:
1) Alvarado Salazar, Diana

2) Meza Guerrero, Edwin

3) Elías Calle, Nicolás

4) Ortiz Morán, Hamlet

5) Reyes Vite, Gabriela

6) Quinde Llacsahuache, Anthony

7) Sandoval Sosa, Antonio

INTRODUCCIÓN.
La lógica proposicional se ocupa de la validez o invalidez de los razonamientos
constituidos por expresiones tales como: y, o, si, entonces, si y solo si, no, etc.
Consiste en utilizar símbolos a través de tablas de verdad que nos indican lo verdadero
o lo falso.
IDEAS CLAVES
1. No existe una sola lógica, tenemos distintas, cada una con distintos razonamientos.
2. Existen proposiciones simples y son aquellas que no tienen otras oraciones, dentro de
sí mismas, es decir; solo tienen un sujeto, verbo y predicado, por lo tanto, carecen de
conectividad lógica.
Ejemplo
Edwin es abogado = p
3. Existen proposiciones compuestas: constituidas por más de una proposición simple,
contienen conectivos lógicos y signos de puntuación, paréntesis, corchetes y llaves.
Ejemplo
Edwin será abogado si y solo si aprueba su tesis. = p -> q
4. Pruebas de validez: aplicación de métodos para concluir si una estructura es validad o
invalida a través de medidas.
 MÉTODO DEL CONDICIONAL ASOCIADO.

Pasos:

1. Simbolizar la estructura del razonamiento.

2. Conjuntar las premisas, y colocarlas como antecedente de un condicional, que tendrá como
consecuente la conclusión del mismo
3. Resolver las tablas de verdad
4. Evaluar el resultado de la tabla. Si el razonamiento es válido la proposición condiciona resultará
tautología.
5. Si el resultado es una mezcla de proposiciones verdaderas y falsas será una contradicción.
6. Mientras que el resultado equivale a toda falsedad, será una contingencia.

ARGUMENTOS.

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables
interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo
entidad, sí existen signos para variables proposicionales (es decir, pueden ser interpretadas como
proposiciones con un valor de verdad definido), de ahí el nombre proposicional. La lógica proposicional
incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas,
por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de
proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.