Logica Presentación

LOGICA
JURÍDIA
TEMA: PROPOSICIONES E INFERENCIAS
LÓGICAS
INTEGRANTES
01 Oscar Velázquez
02 Belén Sosa
03 Juan Samaniego
04 Cristhian Pereira
Concepto de proposición
Una proposición es una declaración que puede ser verdadera o falsa, pero no ambas
al mismo tiempo. Las proposiciones son los bloques básicos de la lógica y pueden
combinarse para formar proposiciones más complejas.
Valores de verdad: Una proposición tiene un valor de verdad, es decir, puede ser verdadera
(T) o falsa (F).
Estructura: Las proposiciones pueden ser simples o compuestas. Las proposiciones simples
no contienen otras proposiciones en su interior, mientras que las proposiciones compuestas se
forman a partir de proposiciones simples y conectores lógicos como "y" (∧), "o" (∨), "no" (¬),
"si... entonces..." (→), etc.
Ejemplos de proposiciones:
• "La Tierra es redonda." (proposición simple)
• "La Tierra es redonda y el cielo es azul." (proposición compuesta)
Concepto Inferencia
En lógica, se denomina inferencia al proceso mediante el cual se obtienen
conclusiones determinadas a partir de un conjunto específico de premisas. Es decir,
cuando una conclusión deriva lógicamente de lo planteado en sus premisas, se dice que
ésta se infiere de aquellas.
Tipos de Inferencia
• Deductivas: Si las premisas son verdaderas, la conclusión necesariamente también
es verdadera. Las inferencias deductivas son de tipo "seguro" y su validez se basa en la
estructura lógica. Ejemplo:
Todos los humanos son mortales. (Premisa)
Sócrates es humano. (Premisa)
Por lo tanto, Sócrates es mortal. (Conclusión)
• Inductivas: Las premisas proporcionan apoyo a la conclusión, pero no la garantizan.
Las inferencias inductivas se basan en la probabilidad.
Ejemplo:
El sol ha salido todos los días en la historia registrada. (Premisa)
Por lo tanto, el sol saldrá mañana. (Conclusión)
• Abductivas: Involucran inferir la mejor explicación posible a partir de las premisas.

Son comunes en la formación de hipótesis científicas.
Ejemplo:
Las calles están mojadas. (Observación)
Si llovió, entonces las calles estarían mojadas. (Regla)
Por lo tanto, probablemente llovió. (Conclusión)
Conexión entre Proposiciones e Inferencias
Las proposiciones sirven como premisas y conclusiones en inferencias lógicas.
La lógica formal estudia cómo se pueden combinar proposiciones mediante reglas
de inferencia para producir razonamientos válidos. Este estudio es esencial en
matemáticas, filosofía, informática y otros campos que dependen del razonamiento
riguroso.
Proposiciones e inferencias lógicas
Términos de alcance o conectivas lógicas de las proposiciones.
La lógica simbólica o logística, es una disciplina estrictamente formal, que se
ocupa de puras formas, totalmente desprovistas de contenido; y utiliza una
formulación matemática. No hace referencia a ninguna clase de objetos
(tautología).
Simbolización de proposiciones
Cuando con el lenguaje técnico no se eliminan aceptablemente las

ambigüedades y vaguedades y se busca aun mayor precisión y exactitud, se recurre al
lenguaje formal.
Estos símbolos permiten manejar las proposiciones según las

relaciones que tengan entre sí, y sin prestar atención a su contenido. En esto la Lógica
se parece al algebra, que hace lo mismo con el cálculo numérico.
Tablas de certeza
El cálculo de proposiciones realiza operaciones en las que de proposiciones
simples se construyen proposiciones complejas.
Las operaciones fundamentales son la negación, la conjunción, la disyunción,

Tablas de certeza:
la implicación y la equivalencia.
Nombre de la Notación simbólica
función de Russell
Negación -p
Conjunción p.q
Alternativa pvq
Disyunción p/q
Implicación pq
Equivalencia pq
Reglas de inferencias y demostración
Inferencia: es el proceso del razonamiento por el cual partiendo de una o
más proposiciones aceptadas como verdaderas, se pasa a otra proposición o a otras
proposiciones que se cree contenida en la verdad de las primeras.
Ejemplo: Premisa 1 = Si él está en el partido de futbol, entonces él está en el estadio.
Conclusión: Él está en el estadio.
Simbólicamente: Sea P = él está en el partido de futbol
Q = él está en el estadio.
Formula: P. Q; PQ
Premisa 1 = P. Q
Premisa 2 = P
Conclusión: Q
Modus tollendotollens: (negando niego).
Permite pasar de dos premisas: una proposición condicional, una proposición
que niega el consecuente.
A una conclusión que niega el antecedente
Ej.:
Si como (p) estaré satisfecho (q) p-q.
No estoy satisfecho (-q) –q.
Entonces no comí (-p) -p
Doble negación
La doble negación de una proposición equivale a una afirmación.

Ejemplo: No es cierto que Cerro no sea hijo de Olimpia –P
Entonces, es cierto que Cerro es el hijo de Olimpia P
Doble negación
Si tengo dos condicionales, en las cuales el predicado de la primera es el sujeto de la

segunda entonces el sujeto de la primera condiciona al predicado de la tercera.
AGUYJE!

Logica Presentación

Cargado por

Copyright:

Formatos disponibles

Logica Presentación

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Presentación

Cargado por

Copyright:

Formatos disponibles

LOGICA

• Abductivas: Involucran inferir la mejor explicación posible a partir de las premisas.

Cuando con el lenguaje técnico no se eliminan aceptablemente las

Estos símbolos permiten manejar las proposiciones según las

Las operaciones fundamentales son la negación, la conjunción, la disyunción,

La doble negación de una proposición equivale a una afirmación.

Si tengo dos condicionales, en las cuales el predicado de la primera es el sujeto de la

También podría gustarte