TRABAJO INTEGRADOR 1

ESTUDIANTES:
Wilman Cabrera
Vinicio Bueno
ASIGNATURA:
Lógica
DOCENTE:
Lic. Héctor González
GRUPO:
25
FECHA:
27-06-2019
INTRODUCCIÓN
En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que
cada conclusión que obtenemos se deduce de algo. Este algo o punto de partida se llama
premisa, este proceso de pasar de un conjunto de premisas a la conclusión se llama
inferencia o deducción.
Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la
inferencia es válida, en caso contrario la inferencia no es válida. Sabemos que la
conclusión se deriva correctamente de sus premisas porque hay un conjunto de leyes
lógicas que garantizan dicha corrección, justamente la lógica estudia el modo de usar
estas leyes, con las cuales podemos saber si una inferencia es válida o no. De ahí que, la
lógica es una ciencia que estudia los métodos y las leyes que determinan la validez de la
inferencia.
Así como existe una teoría para realizar cálculos con números o con objetos más
complejos como diferencial e integral, también existen reglas precisas para manejar
proposiciones. Esto último corresponde al estudio de la lógica proposicional.
INTRODUCTION
In our daily work we constantly make deductions. This means, that each conclusion we
obtain is deduced from something. This something or starting point is called premise,
this process of going from a set of premises to the conclusion is called inference or
deduction.

When the conclusion is correctly deduced from the set of premises it is said that the
inference is valid, otherwise the inference is not valid. We know that the conclusion is
derived correctly from its premises because there is a set of logical laws that guarantee
such correction, just logic studies the way to use these laws, with which we can know if
an inference is valid or not. Hence, logic is a science that studies the methods and laws
that determine the validity of inference.

Just as there is a theory to perform calculations with numbers or with more complex
objects such as differential and integral, there are also precise rules to handle
propositions. The latter corresponds to the study of propositional logic.
DESARROLLO
1. LENGUAJE PROPOSICIONAL
“El propósito del lenguaje proposicional es la construcción de un lenguaje simbólico
que elimine ambigüedades y sea un instrumento más adecuado que el lenguaje
cotidiano para el análisis de argumentos, es decir, para validar si una afirmación es
correcta o incorrecta” (Fernández, Preisser, Segura y Torres, 2014)
1.1 ALFABETO DEL LENGUAJE PROPOSICIONAL
1.1.1 Símbolos para proposiciones:
Se les conoce también como letras proposicionales, y no son más que una codificación
de proposiciones simples. Para expresar proposiciones como símbolos usualmente se
emplean las letras a partir de la p, por ejemplo, p, q, r, s.
El conjunto de símbolos para las letras proposicionales se denota con la letra P.
P= {p, q, r, s}
1.1.2 Símbolos para conectores lógicos:
Elementos de conexión que permiten formar estructuras complejas del lenguaje:
(negación) ¬; (disyunción) ∨; (conjunción) ∧; (implicación) →; (doble implicación) ↔.
1.2 SINTÁXIS DEL LENGUAJE PROPOSICIONAL
Tomando como base el conjunto de símbolos del lenguaje (alfabeto) se debe establecer
el conjunto de reglas para la obtención de fórmulas bien construidas (fbc) del lenguaje,
porque la simple combinación de proposiciones y conectivas no garantiza la obtención
de frases sintácticamente correctas. (Bermudez, n.d.)

Las Formulas Bien Construidas (fbc) del lenguaje proposicional se definen

recursivamente con la aplicación de las siguientes reglas:

Regla1: Toda Letra Proposicional es una formula bien construida del lenguaje. A estas
fórmulas se las denomina Formulas Atómicas.

Regla 2: Si A y B son fórmulas del lenguaje, entonces: ¬A ,¬ B , (A ∧ B) , (A ∨ B ) , (A

→ B), (A ↔ B ) también son fórmulas del lenguaje.

Regla 3: Son fórmulas del lenguaje únicamente las obtenidas con la aplicación de las
reglas 1 y 2.

Ejemplo:

Dado el conjunto P de letras proposicionales: P{p, q, r, s}

Son formulas del lenguaje:
 p (formula atómica) por la regla 1.
 ¬s, (p→q) ∧ r , ((p→q) →r) →t ( por la regla 2.)
El uso adecuado de paréntesis es muy importante para definir las sub estructuras de una
formula.
Por lo tanto:
p ∧ q → r es diferente a (p ∧ q) → r

1.2.1 PROPOSICIONES CONJUNTIVAS

Las proposiciones conjuntivas surgen de la unión de dos proposiciones atómicas, que se
denominan componentes conjuntivos. La condición para que esta conjunción sea
verdadera es que ambos componentes conjuntivos deben ser verdaderos, caso contrario
será falsa dicha conjunción.
Ejemplo:
Locke y Hume son representantes del empirismo inglés (p ∧ q)
Los componentes conjuntivos son:
 Locke es representante del empirismo inglés (p)
 Hume es representante del empirismo inglés (q)
1.2.2 PROPOSICIONES DISYUNTIVAS
Las proposiciones disyuntivas surgen a partir de la inclusión o no de dos alternativas
(proposiciones atómicas). La condición para que la inclusión de dos componentes
disyuntivos sea verdadera es que al menos una de las proposiciones atómicas debe ser
verdadero.
Ejemplo:
O bien descartes es racionalista, o bien es empirista
pvq
Donde:
 p: Descartes es racionalista.
 q: Descartes es empirista.
1.2.3 PROPOSICIONES CONDICIONALES
Las proposiciones condicionales presentan una estructura muy peculiar ya que el orden
de sus elementos (antecedentes y consecuentes) no puede variar. La única condición que
hace un condicional falso es que el antecedente sea verdadero y el consecuente sea
falso.
Ejemplo
Iremos al campo, Solo si hace buen tiempo.
 Antecedente p: hace buen tiempo.
 Consecuente q: Iremos al campo.
p→q
1.2.4 PROPOSICIONES BICONDICIONALES
Las proposiciones bicondicionales son las proposiciones construidas por la equivalencia
(o mutua implicación). La condición que hace una proposición bicondicional verdadera
es que ambos componentes tengan el mismo valor de verdad.
Ejemplo:
Ingresa a la facultad si y solo si aprueba el ciclo básico
Componente izquierdo componente derecho
p q
 p↔q
1.3 SEMÁNTICA DEL LENGUAJE PROPOSICIONAL
La semántica consiste en proporcionar el significado y el valor de verdad que se asumirá
para los procesos de validación de argumentos. Y se fundamenta a partir de los
siguientes propósitos:
Dar significado a los elementos del lenguaje.
La definición de significados consiste en establecer el conjunto de posibles valores que
pueden tomar las letras proposicionales y las formulas del lenguaje. La Lógica
proposicional al ser parte del razonamiento matemático, contempla un conjunto de
valores que puede ser Verdadero o Falso.

Conjunto de significados = {V , F } o {1 , 0}

Definir el concepto de verdad.

Se debe establece un r el significado de estructuras formadas por la relación de
proposiciones atómicas y conectivos lógicos. Se lo muestra en las siguientes tablas:

“La tabla de valores de verdad es una tabla que muestra el valor de verdad de una
proposición compuesta para cada combinación de valores de verdad que se puedan
asignar a sus componentes” (Solís Daun y Torres Falcón, 1995)
Definir el concepto de consecuencia lógica.
-Codificación de proposiciones (frases declarativas simples).
-Representan información.

Ejemplo:
Si Manuel juega fútbol y no estudia entonces reprobará el examen.
 p: Manuel juega futbol.
 q: Manuel estudia.
 r: Reprueba el examen.
Y su representación simbólica es: (p∧¬q) → r
1.4 RELACIONES DEL LENGUAJE COTIDIANO CON LOS CONECTORES
DE EXPRESIÓN LÓGICA

CONCLUSIONES
El lenguaje es esencialmente una herramienta social pero la adquisición de éste requiere
como base el desarrollo de estructuras que permita su aparición, específicamente, la
función simbólica además sus propuestas son complementarias y pueden servir para
comprender el pensamiento y el lenguaje, algo que es de mucha utilidad en espacios
educativos como marcos conceptuales para la actividad pedagógica.
BIBLIOGRAFÍA
Fernández, M., Preisser, A., Segura, L. y Torres, Y. (2004). LÓGICA ELEMENTAL.
Ciudad de México: Universidad Autónoma Metropolitana (México).
Bermudez, J. (n.d.). Lógica proposicional. [Online] Fing.edu.uy. Disponible en:
https://www.fing.edu.uy/tecnoinf/mvd/cursos/mdl1/material/teo/buceo_noct/mdl1-
logicaProposicional.pdf?fbclid=IwAR2rCw92JkxhRh1sWqv-
nwMogSOm3Def0u0on5sURU60QXCpSy-sC8W8Jp8 [Consultado el 27 de julio de
2019].
Solís Daun, J. y Torres Falcón, Y. (1995). Lógica matemática. México: UAM, Unidad
Iztapalapa.