Asignatura Datos del estudiante Fecha

Apellidos: bolaño luna

Fundamentos de 28/04/21
matemáticas
Nombre: Carlos Alberto

Actividad
Protocolo individual de la unidad n°:

Análisis y síntesis: 
Síntesis e interpretación personal de los temas vistos en la unidad
Lógica etimológicamente es la ciencia del logos; esta última conocida como palabra o discurso.
Inicialmente, se definió a la lógica como “rama de la gramática que se ocupaba de ciertas formas
de lenguaje”. Sin embargo, la lógica a nivel general es la “ciencia del pensamiento racional”, por
lo que se ocupa de la estructura o forma de los pensamientos.
ANTECEDENTES HISTÓRICOS DE LA LÓGICA
Aristóteles es considerado por los griegos como el padre de la lógica, puesto que desarrolló la
lógica preposicional para determinar la verdad o falsedad de aquellas proposiciones que un
individuo realiza para defender un pensamiento. Este modelo de lógica clásica tuvo un primer
intento de ser reformada en el año 1646 por Goftfrield Leibniz propuso la lógica simbólica y lo
llamó una característica universal. Por su parte, George Boole y Augustas de Morgan en el
año 1847 crearon los operadores básicos de unión, intersección y negación; además de la
formulación de los principios del razonamiento simbólico y el análisis lógico. Cabe resaltar que
Boole se le atribuye la invención de “las tablas de verdad” para analizar la veracidad de las
proposiciones. Además, en 1910 Bertrand Russell y Alfred North Whitehead fundaron la
lógica formal moderna, definida como “ciencia de todas las operaciones conceptuales posibles”;
este concepto es ampliamente utilizado en la actualidad.
CLASIFICACIÓN DE LA LÓGICA
Lógica Tradicional (no formal): Destreza del ser humano para distinguir el razonamiento correcto
del incorrecto.
Lógica Simbólica (formal): Establece principios fundamentales basados en la inferencia y uso de
símbolos para describir una proposición.
PROPOSICIONES
La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones. Por ello, la proposición es
una oración del lenguaje cotidiano que tiene la propiedad de ser verdadera o falsa y se
representa simbólicamente mediante letras del alfabeto como p, q, r, s, que reciben el nombre de
variables proposicionales. Se divide en dos tipos: proposiciones simples (oraciones que no usan
conectivos lógicos) y proposiciones compuestas (se combinan dos o más proposiciones simples
mediante términos de enlace).
RAZONAMIENTO
Es un proceso por el cual se establece una conclusión a partir de proposiciones supuestas o
aceptadas (premisas), lo que determina si es un razonamiento correcto o incorrecto. Este
razonamiento puede ser inductivo (particular a lo general) y deductivo (general a lo particular).
SEMIÓTICA
Es la “ciencia que estudia los sistemas de signos y el modo de comunicación y comprensión de
un mensaje”. Tiene un emisor, receptor y mensaje.
 Asignatura Datos del estudiante Fecha
Apellidos: bolaño luna
Fundamentos de 28/04/21
matemáticas
Nombre: Carlos Alberto

CONJUNCIÓN
Sean p y q dos proposiciones simples, la proposición compuesta p y q (simbolizada p ∧ q). El
conjunto de verdad de las proposiciones compuestas se representa de manera gráfica en un
diagrama de VENN. En la tabla de la verdad de la conjunción es verdadera únicamente cuando
las dos proposiciones simples son verdaderas, en cualquier otro caso la conjunción es falsa; es
decir, combinación de verdadero y falso o dos proposiciones simples falsas.
DISYUNCIÓN
Sean p y q dos proposiciones simples, la proposición p o q (simbolizada p ∧ q). El valor de
verdad puede ser de “o incluyente” y “o excluyente”. La proposición disyuntiva es la unión de dos
conjuntos de verdad de sus componentes y se representa de manera gráfica en un diagrama de
VENN. En la tabla de la verdad de la disyunción es falsa únicamente cuando las dos
proposiciones simples son falsas, en cualquier otro caso la disyunción es verdadera; es decir,
combinación de verdadero y falso o dos proposiciones simples verdaderas.
NEGACIÓN
Sea p una proposición simple la negación de una proposición compuesta no p (simbolizada ~ p).
El conjunto de verdad se representa de manera gráfica en un diagrama de VENN. En la tabla de
verdad de la negación si una preposición es verdadera su negación es falsa y viceversa; si una
proposición es falsa su negación es verdadera.
TABLAS DE VERDAD
Es una representación esquemática de las relaciones entre proposiciones; sirve para determinar
los valores de verdad de proposiciones compuestas, que dependen de los conectivos utilizados
y de los valores de verdad de sus proposiciones simples. Estos conectivos fundamentales son la
conjunción, disyunción y negación y son implementados en la elaboración de las tablas de
verdad para establecer cuando una preposición es verdadera o falsa.
PROPOSICIÓN CONDICIONAL
Se encuentra formada por dos proposiciones simples enlazadas por la expresión si… entonces.
La expresión “si p entonces q” (simbolizada p → q) se lee p implica q. Es importante conocer que
la proposición precedida por la expresión “si”, se denomina antecedente, mientras que la
proposición precedida por la expresión “entonces”, se denomina consecuente. En la simbología,
p es el antecedente y q es el consecuente. Además, el condicional es falso únicamente cuando
el antecedente es verdadero y el consecuente es falso.
BICONDICIONAL
Es una proposición formada por dos proposiciones simples conectadas por la expresión “si y
solo si” (simbolizada p ↔ q), en este caso p recibe el nombre de primer miembro y q segundo
miembro. El bicondicional se encuentra formado por las implicaciones p → q y q → p, las cuales
deben tener el mismo valor de verdad para formar una equivalencia entre p y q. El bicondicional
es verdadero siempre que ambos miembros sean verdaderos o ambos miembros sean falsos.
TAUTOLOGÍA
Es una proposición que es verdadera en todos los casos, sin tener en cuenta el valor de las
proposiciones que la conforman. Por su parte, se llama contradicción cuando una proposición
compuesta es falsa en todos los casos sin tener en cuenta el valor de las proposiciones que la
conforman. A continuación, se presentarán ocho (8) tautologías conocidas como leyes de la
lógica:
 Asignatura Datos del estudiante Fecha
Apellidos: bolaño luna
Fundamentos de 28/04/21
matemáticas
Nombre: Carlos Alberto

Tautología Trivial: Establece que cualquier proposición es equivalente; esto es p ↔ p

Ley de doble Negación: Establece que la negación, de la negación de una proposición es
equivalente a la proposición; esto es p ↔ ~ (~p)
Ley del medio Excluido: Establece que una proposición toma uno de los dos valores de verdad,
pero no ambos al tiempo; esto es p v (~p)
Razonamiento Directo: Se encarga de la formación de una cadena de proposiciones a partir de
las premisas hasta deducir la conclusión; esto es ((p →q) ∧ p) → q
Razonamiento Indirecto: Se encarga de suponer falsa la proposición que se quiere demostrar,
por lo tanto, su negación es verdadera y se demuestra que no tiene validez, lo que significa una
contradicción; esto es ((p → q) ∧ (q →r)) → (p → r)
Ley de la Transitividad: Son cadenas largas de razonamiento mediante la convección de varias
proposiciones de la forma si – entonces; esto es ((p → q) ∧ (q →r)) → (p → r)
Ley de la Contrarrecíproca: Establece que una proposición podía ser reemplazada siempre por
su contrarrecíproca sin afectar su valor de verdad; esto es ~q → ~p
Silogismo Disyuntivo: Establece que la disyunción p v q verdadera, para el caso en que p es
falsa y q es verdadera, se tiene que ~p es verdadera. Se simboliza ((p → q) ∧ ~ p) → q
FALACIAS LÓGICAS
Se llama cuando una o mas de las proposiciones no son válidas. Existen tres clases:
Falacia de Afirmación del Consecuente: No es posible llegar a deducir la conclusión; por lo que
el argumento no es válido; se simboliza ((p → q) ∧ q) → p
Falacia de Negación del Antecedente: Se supone una implicación verdadera, pero en este
argumento se niega el antecedente (p), su propósito es concluir la negación del consecuente (q);
se simboliza ((p → > q) ∧ (~ p)) → (~q)
Esquema de Cadena en Falso: Se constituye por una cadena de dos implicaciones con el mismo
antecedente y su propósito es concluir el condicional formado por los dos consecuentes; se
simboliza (p → q) ∧ (p → r) → (q → r)
CIRCULOS DE EULER Y SUS APLICACIONES
Leonhard Euler ilustró las relaciones entre proposiciones mediante círculos o regiones ovaladas
que luego fueron utilizadas como diagramas por Jhon Veen; razón por la cual estas
representaciones se conocen hoy con el nombre de círculos de Euler o diagramas de Veen.
Estos son rectángulos con regiones ovaladas que ilustran las relaciones entre proposiciones y,
además, se utiliza para demostrar algunas tautologías. Además, para demostrar argumentos
lógicos es necesario tener en cuenta los siguiente:
Traducir las expresiones a la forma simbólica
Aplicar las tautologías que sean necesarias y simplificar el argumento, siempre que sea posible
Después de obtener la conclusión, traducirla nuevamente al lenguaje ordinario
SISTEMA MATEMÁTICO
Es el conjunto no vacío de elementos con una o mas operaciones definidas y una o más
relaciones que satisfacen un conjunto de axiomas. Se encuentra conformado por:
 Asignatura Datos del estudiante Fecha
Apellidos: bolaño luna
Fundamentos de 28/04/21
matemáticas
Nombre: Carlos Alberto

Conjunto: Son las proposiciones p, q, r, s, t, …

Operaciones: Las operaciones binarias disyunción (o “v”) y conjunción (y “∧”)
Relación: Equivalencia entre proposiciones ↔
Axiomas: Es el conjunto de propiedades que verifica un conjunto.
La lógica simbólica constituye un sistema matemático formado por todas las proposiciones, con
las operaciones conjunción y disyunción, con la relación de equivalencia y con las propiedades
de cerradura, conmutativa, distributiva, con elementos de identidad y con la propiedad de
complementación.

Discusión: 
Dudas, desacuerdos, discusiones
Las dudas que presento son en la temática de circuitos lógicos y algebra booleana; puesto que
por la extensión máxima del número de hojas para el desarrollo de la actividad; no pude
entender.