República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Universitaria

Instituto Universitario Politécnico “Santiago Mariño”
Extensión Barcelona
Ingeniería en Sistema

Lógica

Autor: Robert A. Latuff B.

Asignatura: Álgebra
Sección: A – SAIA 2
Profesor: José Castillo

Barcelona, 10 de octubre 2021

 Índice

Introducción……………………………………………….………………….........Pág. 3

Definición de lógica..……………………………………....…….………………..Pág. 4

Lógica proposicional……………………………………….……………………...Pág. 4

Proposición y sus tipos…………………………………….……………..………Pág. 5

Valor de la verdad de una proposición…………………….…………………....Pág. 6

Conectores lógicos…………………………………………….……………….....Pág. 6

Tabla de la verdad de cada conector………………………….……………..….Pág. 7

Anexo………………………………………………………………………………..Pág.9

Conclusión……………..………………………………………….………………..Pág. 10

Bibliografía………………………………………………………….………….......Pág. 11

2
 Introducción

La lógica es la ciencia que estudia el razonamiento, donde razonar consiste en

obtener afirmaciones (llamadas conclusiones) a partir de otras afirmaciones
(llamadas premisas) con los criterios adecuados para que podamos tener la garantía
de que si las premisas son verdaderas, entonces las conclusiones obtenidas
también tienen que serlas necesariamente.

Una de las características principales que distinguen a las matemáticas de las

otras ciencias es su grado de veracidad, esto significa que los resultados que se
encuentran en ella pueden ser considerados como verdaderos y no tener duda al
respecto. Tal grado de veracidad se debe principalmente a que los resultados son
obtenidos luego de la aplicación de un método bastante riguroso llamado
razonamiento lógico.

3
 Definición de Lógica

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la

lógica proporciona reglas y técnicas para determinar si es o no valido un argumento
dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas;
en ciencias de la computación para verificar si son o no correctos los programas; en
las ciencias física y naturales, para sacar conclusiones de experimentos; y en las
ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lógico para realizar
cualquier actividad.

Lógica Proposicional

La lógica proposicional o lógica de orden cero es la rama de la lógica matemática

que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas
mediante conectores lógicos y las relaciones y propiedades que se derivan de esos
procedimientos. Es una herramienta útil para razonar, pero no puede resolver
problemas que requieren analizar la estructura interna de las proposiciones o de las
relaciones entre ellas. Este tipo de lógica considera las proposiciones como
elementos atómicos y no tiene cuantificadores o variables de entidad.

Proposición y sus Tipos

Una proposición, en términos generales, es algo que se propone. Es decir, es

una expresión equivalente de una oración simple aseverativa, una oración en la que
se afirma que algo es, que algo existe o que posee determinada característica. Por
lo tanto, puede ser juzgada como cierta (si concuerda con la realidad) o falsa (si no
lo hace).

4
 Es un término muy empleado en distintos contextos del saber, como ciertas
disciplinas formales (lógica, matemáticas) o la lingüística y la filosofía. La idea es
que, tomando distintas proposiciones como antecedentes, se puede obtener
determinadas conclusiones, y además se puede estudiar detenidamente el
procedimiento a través del cual las hemos obtenido.

Ejemplo:

Los animales carnívoros se alimentan de plantas. (Proposición falsa).

Tipos de proposición: Los escolásticos establecieron dos tipos de proposiciones:

las simples y compuesta, hoy llamadas elementales y moleculares.

Proposiciones Elementales (simples)

Son aquellas que están compuestas por un sujeto y un predicado directamente

relacionados, sin que aparezcan factores de negación (no), conjunción (y),
disyunción (o) o implicación (si… entonces). En términos oracionales, se
corresponden con oraciones simples sin subordinadas. Por ejemplo: “El perro es
negro”.

Proposiciones Moleculares (Compuestas)

Son aquellas de tipo complejo, que incorporan elementos adicionales a través

de factores de negación, conjunción, disyunción o implicación, y que en términos
oracionales consisten en oraciones con subordinadas y otros componentes. Por
ejemplo: “Si el perro es negro, el perro no es azul ni rojo”

5
 Valor de la Verdad de una Proposición

En lógica, un valor de verdad es un valor que indica en qué medida una

declaración es verdad. En lógica clásica bivalente los valores de verdad solo son
dos, usualmente designamos verdadero y falso (y a veces representados por pares
como (1,0) o (V,F), etc.). Sin embargo la lógica polivalente el conjunto de valores de
verdad incluye otras posibilidades, e incluso en lógica modal la descripción del valor
de verdad requiere la noción más compleja de mundos posibles. En lógica difusa el
valor de verdad es cualquier número real en el intervalo cerrado [0,1]. El conjunto
de valores de verdad de un determinado tipo de lógica es el rango de una
interpretación lógica sobre el conjunto de todas las proposiciones posibles

Conectores Lógicos

Los conectores lógicos son palabras o expresiones que sirven para relacionar las
ideas dentro de un texto. En ese sentido, su presencia es fundamental para que un
texto sea mucho más que un conjunto de oraciones independientes y
autónomas. La claridad de la argumentación de un texto depende principalmente
del uso adecuado de los conectores; un conector lógico mal utilizado puede cambiar
completamente el sentido del texto.

A continuación, una lista de los conectivos que se usarán y están ordenados

de menor a mayor rango de jerarquía:

Negación (~): no, nunca, jamás, no es cierto, es falso que, no es verdad que.
Conjunción (^): y, además, sin embargo, no obstante, pero, e,
Disyunción Inclusiva (v): o, u
Disyunción Exclusiva (v): o....o, o...u, u...o

6
 Condicional (→): Si....entonces, por lo tanto, en consecuencia, razón por la
cual, por consiguiente.

Bicondicional (↔): Si y sólo si.

Tabla de la Verdad de cada Conector

Definimos una tabla de verdad como un arreglo que nos permite tener los
posibles valores de verdad de una proposición compuesta a partir de los valores de
verdad de las proposiciones simples.
Las tablas de verdad para los conectivos lógicos son las siguientes:

Negación

La negación de una proposición es una nueva proposición que tiene un valor de

verdad opuesto a la proposición original. Es decir, si el valor de verdad de una
proposición p es verdadero, entonces el valor de verdad de ~p es falso.

Disyunción

La disyunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo. Esta proposición compuesta de denota
por p V q y se lee p o q.

Conjunción

La conjunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo .

Esta proposición compuesta de denota por p ^ q y se lee p y q.

7
Condicionante

La condicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo.

Esta proposición compuesta de denota por p → q y se lee p implica q.

En esta proposición compuesta, la proposición simple p se llama antecedente,

mientras que la proposición simple q se llama consecuente

Bicondicionante

La bicondicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo.

Esta proposición compuesta se denota por p ↔ q y se lee p si y solo si q.

Disyunción Inclusiva

Sean p y q dos proposiciones. La disyunción de p y q es la proposición p v q, que

se lee "p o q", su valor es falso o cero cuando ambas proposiciones valen o tienen
como valor cero (0) cualquier otra combinación será uno.

Disyunción Exclusiva

Sean p y q dos proposiciones. La disyunción exclusiva de p y q es falsa o cero

sólo cuando los valores de p y q son iguales

8
 Anexo

Tabla de conectivos lógicos

9
 Conclusión

La lógica matemática es la ciencia que se ocupa de los métodos de razonamiento,

suministrando reglas y técnicas que permiten decidir si una argumentación o una
deducción, es correcta o no. Por consiguiente, relaciona los diferentes esquemas
de aprendizaje para que el estudiante de ingeniería adquiera estructuras cognitivas
y las pueda relacionar con las otras áreas del conocimiento. El módulo trata de los
elementos básicos, conceptos, reglas y técnicas para determinar si un argumento
matemático es válido. Es fundamental conocer y manejar los conceptos de
conjuntos numéricos, operaciones algebraicas, ecuaciones e inecuaciones de
primer grado que pueden ser recordadas de manera simultánea. El presente
documento busca ser transversal y aplicar en todas las ingenierías. Los conceptos
a desarrollar empiezan con conjuntos, lógica matemática, inferencia lógica, álgebra
de Boole y terminan con compuertas lógicas. El texto ayuda a determinar la validez
de razonamientos lógicos tanto deductivos como inductivos, presentando ejercicios
simples pero ilustrativos que permiten llegar de manera gradual hasta los que tienen
un mayor grado de dificultad.

10
 Bibliografía
-www.ecured.cu
-es.wikiversity.org

11
12