FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
“Año de la Universalización de la Salud”
DOCENTE: JOSE LUIS FARRO QUESQUEN
CURSO: MATEMÁTICA BÁSICA
TEMA: LEYES LOGICAS
INTEGRANTES:
OLANO INGA EDWIN
PEREZ VISLAO CELENY
QUISPE SANTILLAN TELMO JOSÈ
ROCA ALVARADO ZARELLI
REYES RIVERO EDWIN JHONATAN
CICLO: I
FACULTAD: INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL: INGENIERIA CIVIL
Chachapoyas _ Amazonas _ Perú
1
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
2020
2. PRESENTACION
Con el propósito de aplicar los conocimientos aprendidos en clase y llevarlos a hechos reales,
en unión de nuestro equipo de trabajo hemos elaborado el presente informe, el cual lo hacemos
llegar a usted esperando que sea de su mayor agrado y cumpla con sus expectativas ya que como
trabajo de investigación hemos logrado solucionar un problema real con leyes lógicas.
2
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
3. INDICE
Contenido
2. PRESENTACION...................................................................................................................2
3. INDICE....................................................................................................................................3
4. INTRODUCCIÓN...................................................................................................................4
5. tema..........................................................................................................................................5
6.1 PROBLEMAS....................................................................................................................8
6.1.1..........................................................................................................................................8
6.1.2..........................................................................................................................................9
6.1.3........................................................................................................................................10
6.1.4........................................................................................................................................11
6.1.5........................................................................................................................................12
6.1.6........................................................................................................................................12
7. OBJETIVO PRINCIPAL.......................................................................................................13
9. CONCLUSION......................................................................................................................13
Referencias................................................................................................................................14
3
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
4. INTRODUCCIÓN
Las matemáticas han venido mejorando de tiempos remotos, la historia de las matemáticas
empieza con la invención de símbolos escritos para denotar números. Se utilizan en la ciencia, en
la tecnología, la comunicación, la economía y tantos otros campos. Son útiles porque nos sirven
para reconocer, interpretar y resolver los problemas que aparecen en la vida cotidiana.
La lógica proposicional es la permite validar o no las afirmaciones que se hacen en
matemáticas o en otras ramas del conocimiento, las proporciones equivalentes se convierten en
leyes lógicas.
Las leyes lógicas son conocimientos muy valorados y de suma importancia ya que se usa en la
vida diaria como en la ingeniería civil, los negocios, datos estadísticos para dar solución a
interrogantes de diferentes casos.
Precisamente en este trabajo de investigación se pretende desarrollar ejercicios con aplicación
sobre temas tratados en el curso de matemática básica
4
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
5. TEMA
LEYES LÓGICAS
Las leyes lógicas son tautologías o formas lógicamente verdaderas, su estudio es tarea
fundamental de la lógica de proposiciones, ellas constituyen un poderoso instrumento para el
análisis de inferencias, una inferencia es válida si y solo si tiene la forma de la ley lógica, en
cambio, si una inferencia tiene la apariencia de ser lógicamente valida, pero que al ser
formalizada su estructura lógica no es la de una ley lógica o tautológica entonces se dice que es
una inferencia no valida o falacia.
A diferencia de las leyes que son expresiones del lenguaje lógico, las reglas lógicas son
prescripciones que nos permiten pasar correctamente de una o más premisas a una conclusión, los
tres principios lógicos fundamentales conocidos por los filósofos y lógicos tradicionales fueron:
el de identidad, el de no-contradicción y el de tercio excluido.
a) El principio de identidad
Formulación ontológica: Toda cosa es idéntica a sí misma.
Formulación lógica: Toda proposición es verdadera si y solo si ella misma es verdadera.
Formula: p → p
b) El principio de no-contradicción
Formulación ontológica: Es una cosa imposible que una cosa sea y no sea al mismo tiempo y
bajo el mismo respecto.
5
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
Formulación lógica: Es falso que una proposición sea verdadera y falsa al mismo tiempo.
Formula: ( p ∧ p )
c) El principio del tercio excluido
Formulación ontológica: Una cosa o bien tiene una propiedad o bien no la tiene y no hay una
tercera posibilidad.
Formulación lógica: Una proposición o es verdadera o es falsa. No existe una posibilidad
intermedia.
Formula: p ∨ p
Estos principios lógicos fundamentales gozaban de una situación de privilegio, puesto que los
lógicos desde la antigüedad dotados de ciertos atributos, eran evidentes, universalmente
verdaderos y constituían la base de toda inferencia valida. Para la lógica moderna ninguna ley
lógica tiene una situación de privilegio. Todas las tautologías tienen igual jerarquía.
Ley de la doble negación: O es verdadera o es falsa, no hay tercera opción.
( p)≡ p
Ley de la idempotencia: son las variables repetidas repetidas en una cada de
conjunciones o en una cadena de disyunciones se reemplazan por la sola variable.
a) p ∧ p ∧ p∧ p ∧ ∧ p ≡ p
b) p ∨ p ∨ p∨ p ∨ ∨ p ≡ p
6
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
Ley de la conmutatividad: Permite intercambiar números o letras de cualquier manera
y aun así obtener la misma respuesta.
a) p ∧q ≡ q ∧ p
b) p ∨q ≡ q ∨ p`
c) p ↔q ≡ q ↔ p
Ley de asociación
a) p ∧ ( q ∧ s ) ≡ ( p ∧ q ) ∧s
b) p ∨ ( q ∨ s ) ≡ ( p ∨ q ) ∨s
c) p ↔ ( q ↔ s ) ≡ ( p ↔q ) ↔ s
Ley de la distribución:
a) p ∧ ( q ∧ s ) ≡ ( p ∧ q ) ∨ ( p∧ s )
b) p ∨ ( q ∨ s ) ≡ ( p ∨ q ) ∨ ( p∨ q )
c) p ∨ ( q ∨ s ) ≡ ( p ∨ q ) ∨ ( p∨ q )
Ley de Morgan: Es la negación de una conjunción o de una disyunción son distributivas
respecto a la disyunción o conjunción.
a) p ∧q ≡ ( p ∨ q )
b) p ∨q ≡ ( p ∧ q )
Ley de la condicional: Equivale a la disyunción de la negación del antecedente con el
consecuente y la negación de una condicional equivale a una conjunción del antecedente
con la negación del consecuente.
a) p →q ≡ p ∨ q
b) p→ q≡ p∨ q
7
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
Ley de la bicondicional:
a) p ↔q ≡ ( p→ q ) ∧ ( q → p )
Ley de absorción: Reducir el número de variables al mínimo pero solo en esquemas
conjuntivos y disyuntivos débiles.
a) p ∧ ( p ∨q ) ≡ p
b) p ∧ ( p∨ q ) ≡ p ∨q
6.1 PROBLEMAS
6.1.1
No se construirá la escuela a menos que se contrate un ingeniero civil, por tanto, para construir
la escuela es necesario la contratación de un ingeniero civil.
p: Se construirá la escuela
q : Se contratará un ingeniero civil
( p →q ) → ( p→ q )
( p →q ) → ( p→ q )
( p ∨q ) → ( p ∨ q )
[ ( p∨ q ) ∨ ( p ∨q ) ]
( p ∧ q ) ∨ ( p ∨q )
[ p ∨ ( p ∧ q) ] ∨ [ q ∨ ( p ∧ q ) ]
p ∨(q ∨ p)
p ∨q
8
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
6.1.2
Los obreros realizan bien la construcción de la obra si, el Ingeniero Civil hace bien su trabajo
excepto que tengan problemas con la construcción de la obra si y solo si los obreros realizan bien
la construcción de la obra entonces el Ingeniero Civil hace bien su trabajo o los obreros realizan
bien la construcción de la obra a no ser que tengan problemas con la construcción de la obra.
p: Los obreros realizan bien la construcción de la obra.
q: El Ingeniero Civil hace bien su trabajo.
r: Tengan problemas con la construcción de la obra.
[ p → ( q ∨ r ) ] ↔ [ ( p→ q ) ∨ ( p → r ) ]
[ p → ( q ∨ r ) ] ↔ [ ( p→ q ) ∨ ( p → r ) ] l . condicional
[ p ∨ ( q ∨r ) ] ↔ [ ( p ∨ q ) ∨ ( p ∨ r ) ]
( p ∨q ∨ r ) ↔ [ p ∨ q ∨ p∨ r ] Indempotencia , conmutativa ,asociacio
( p ∨q ∨ r ) ↔ [ ( p ∨ p ) ∨q ∨r ]
( p ∨q ∨ r ) ↔ ( p ∨ q ∨r )
V ↔V
9
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
6.1.3
Si no se lleva acabo el contrato, entonces no hay construcción del estadio, pero si se lleva
acabo el contrato. Por tanto se construirá el estadio.
p: Si se lleva acabo el contrato.
q: Hay construcción del estadio.
[( p→ q ) ∧ p ] → q
[( p→ q ) ∧ p ] → q
[( p ∨ q )∧ p ]→ q
p →q
( p ) ∨q
p ∨q
10
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
6.1.4
Juan no realizara un proyecto mal construido, si y solo si cuenta con un personal especializado
y maquinaria pesada.
p: Juan realiza un proyecto mal construido.
q: Juan cuenta con un personal especializado.
r: Juan cuenta con maquinaria apropiada.
p ↔(q ∧ r )
p ↔(q ∧ r )
[ p → ( q ∧ r ) ] ∧ [ ( q ∧r ) ∨ p ]
[ p ∨(q ∧ r )]∧[ (q ∧ r )∨ p]
[ ( p ∨q ) ∧ ( p ∨r ) ] ∧ [ q∨ r∨ p]
[ ( p ∨q ) ∧ ( p ∨r ) ] ∧ [ p∨ q∨ r ]
{[ p ∨ ( q ∨ r )]∧ ( q ∨ r )}∨ p
[( q ∨ r )∧ p ]∨ p
[( q ∨ r ) ∨ p ] ∧ ( p ∨ p)
( q ∨ r ∨ p ) ∧T
11
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
q∨ r∨ p
(q ∧r ∧ p)
6.1.5
Si Julia es ingeniera civil, entonces es aficionada a las matemáticas y es falso que Julia no es
aficionada a las matemáticas por lo tanto Julia es ingeniera civil.
p: Julia es ingeniera civil
q: Aficionada a las matemáticas
( p →q ) ∧ ( q → p )
( p ∨q ) ∧ ( q ∨ p )
( p ∨q ) ∧ q ∧ p
[( p∨ q ) ∧ q ] ∧ p
q∧ p
6.1.6
Dadas las proposiciones p: Edgar es profesor, q: Matías es ingeniero, r: David es médico.
Hallar la expresión simbólica del enunciado: “si Matías no es ingeniero y no es cierto que Edgar
sea profesor, porque David es médico”.
Solución
12
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
p: Edgar es profesor, q: Matías es ingeniero, r: David es médico
“si Matías no es ingeniero y no es cierto que Edgar sea profesor, porque David es
médico”.
r →( q ∧ p)
7. OBJETIVO PRINCIPAL
Determinar los problemas en la vida diaria llevándose tanto en la ingeniería civil usando leyes
lógicas.
Saber la importancia y los procesos donde se aplica las leyes lógicas en el campo de la
ingeniería o en la vida cotidiana.
9. CONCLUSION
Las leyes lógicas es esencial en el ser humano ya que nos permite resolver problemas de la
vida diaria, podemos ver su ejecución en diferentes áreas de trabajo y estudio como lo es las
matemáticas ; las leyes lógicas es muy importante ya que se pudo observar a lo largo del
desarrollo del trabajo los diferentes usos así comprender y aplicar frente a cierta problemática, ya
que, sin estos, los problema no se podrían resolver por fácilmente, de esa manera reconocer la
importancia de los procesos de enseñanza y aprendizaje.
13
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
REFERENCIAS
No hay ning Farro Quesquén, José. Luis, (2018) Matemática básica. editorial multiservicios
saida.
pag. 151 – 159
Bosh Giral, Carlos. (1995) Matemática básica (3ª ed.) editorial grupo noriega editores,
México
pag. 169 – 207
Guerra Alvarado, Vladimir. (1998) Matemática básica (3ª ed.) editorial tarea asociación
grafica educativa lima - Perú
Espinoza Ramos, Eduardo. (2010) Matemática básica (2ª ed.) editorial edukperu E.I.R.L
pag. 356 - 365
una fuente en el documento actual
14
FACULTAD DE INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL INGENIERIA CIVIL
15
