Semana #01 - Lógica Matemática

Facultad de Educación
Escuela Profesional de Educación Secundaria

Programa académico de Matemática y Física
Semestre Académico 2023 - I
ASIGNATURA:
MATEMÁTICA
DOCENTE : VICENTE YIMI GARCÍA CISNEROS
Facultad de Educación
Escuela Profesional de Educación Secundaria
Programa académico de Matemática y Física
UNIDAD I: Lógica Matemática y Teoría de Conjuntos

SEMANA Nº 1: Lógica Matemática - Proposiciones
Universidad Nacional
Federico Villarreal Facultad de Educación
LÓGICA PROPOSICIONAL
INTRODUCCIÓN
La lógica es una ciencia formal cuyo objeto de estudio se halla en
las leyes, principios o métodos que determinan la validez de las
“inferencias” o corrección de los “razonamientos”. La lógica es
conocida como una de las ciencias más antiguas, tanto es así que
se le atribuye a Aristóteles la paternidad de esta disciplina.
Partiendo de que corresponde a Aristóteles haber sido el primero
en tratar con todo detalle la lógica, se le considera pues ser su
fundador. En un principio se llamó Analítica, en virtud del título
de las obras en que trató los problemas lógicos. Más tarde los
escritos de Aristóteles relativos a estos eventos fueron recopilados
por sus discípulos con el título de ÓRGANON, por considerar
que la lógica era un instrumento para el conocimiento de la
verdad.
INTRODUCCIÓN
La lógica matemática es un subcampo de la lógica y las matemáticas. Consiste en el
estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las
matemáticas. La lógica matemática fue también llamada lógica simbólica. El primer
término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos
aspectos de la teoría de la demostración. La lógica matemática no es la "lógica de las
matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que
pueden ser modeladas y estudiadas matemáticamente.
Todo desarrollo matemático exige razonar en forma válida acerca de cosas trascendentes
y particularmente abstractas. Hay que comenzar por eliminar las ambigüedades del lenguaje
ordinario, introduciendo símbolos y conectivos cuyo uso adecuado descarte contingencias,
aporte claridad y economía de pensamiento.
ENUNCIADO
Se denomina así a toda expresión común, frase u oración en nuestro lenguaje, la
cual no necesariamente puede afirmar o negar algo.
PROPOSICION
Una proposición es un enunciado que puede tomar el valor lógico de ser
verdadero o falso, pero no los dos valores al mismo tiempo.
Las proposiciones se representan simbólicamente por letras minúsculas tales
como: p, q, r, etc. (que son llamadas también variables Proposicionales). Cuando
se trata de representar muchas proposiciones similares se usan subíndices para
indicar cada uno de ellos, esto es: p1, p2, p3, ……, pn
ENUNCIADOS ABIERTOS
Son expresiones que llevan una o más variables, que al sustituirlas por
determinados valores dan origen a una proposición.
Si en la proposición” 5 es mayor que 3”, se sustituye el numero 5 por la letra x,
se obtiene la nueva expresión “x es mayor que 3”. Si se conviene ahora en que la
letra x no representa específicamente el número 5 sino a un número cualquiera,
se dice entonces que x es una variable de la expresión “x es mayor que 3”. A esta
expresión que contiene una variable, se le llama ENUNCIADO ABIERTO.
FUNCIÓN PROPOSICIONAL
Es todo enunciado abierto p(x), que tiene la propiedad de convertirse en una

proposición al ser sustituida la variable “x” por una constante “k” específica.
Ejemplos
1.p(x): x es blanco, x  Dom p. 2. q(x): x > 5, x  3, 6
x  {mota, tiza, carro} VL (3 > 5) = 0
x = mota  la mota es blanca VL (6 > 5) = 1
x = carro  el carro es blanco Tiene infinitas formas de
x = tiza  la tiza es blanca. remplazar “x “.
CLASES DE PROPOSICIONES
a) Proposición Simple, Atómica o Elemental.
Es aquella proposición que tiene un solo sujeto y un solo predicado. El valor lógico
de esta proposición se obtiene de la disciplina o suceso de donde provienen.
b) Proposición Compuesta, Molecular o Coligativa.

Son aquellas proposiciones que están constituidas por dos o más proposiciones
simples las cuales están enlazadas mediante Conectivos Lógicos, estos también son
denominados Operadores Lógicos o Términos de Enlace.
CONECTIVOS Y PROPOSICIONES COMPUESTAS

CONECTIVO NOMBRE DE PROPOSICION SÍMBOLO PESO
Y CONJUNCION 
1
O DISYUNCION DEBIL O INCLUSIVA  1
O…o DISYUNCION FUERTE O EXCLUSIVA Δ 1
Si…entonces CONDICIONAL →
2
Si, y solamente si
BICONDICIONAL  3
(ssi)
No NEGACION ,⌐ 0
NEGACIÓN ALTERNA O DE
No….o….no | 1
INCOMPATIBILIDAD (Shaffer)
Ni…ni NEGACION CONJUNTA (Nicod ) ↓ 1

CONDICIONALES ASOCIADAS
p→q  RECIPROCAS  q→p
 CON CAS 
TRA PRO
INVERSA RRECI INVERSA
TRA PRO
 CON CAS 
p→q  RECIPROCAS  q→p
Ejemplo:
Hallar su recíproca, inversa y contrarrecíproca de la siguiente proposición:
Sí el triángulo es equilátero entonces es isósceles.
Solución:
Recíproca: Si el triángulo es isósceles entonces es equilátero.
Inversa: Sí el triángulo no es equilátero entonces no es isósceles.
Contrarrecíproca: Sí el triángulo no es isósceles entonces no es equilátero.
TABLA DE LOS VALORES LOGICOS

Trabajando con el sistema binario, donde verdad = 1 y falso = 0, presentamos la siguiente tabla:
p q pq pq p∆q p→q pq ~p pq pq

1 1 1 1 0 1 1 0 0 0
1 0 0 1 1 0 0 0 0 1
0 1 0 1 1 1 0 1 0 1
0 0 0 0 0 1 1 1 1 1
NOTAS
1. Al trabajar tablas de verdad de proposiciones compuestas, según los valores lógicos que se obtengan al final,
pueden tomar las denominaciones siguientes:
a) TAUTOLOGÍA (T): Si todos los valores lógicos de una proposición son verdaderos.
b) CONTRADICCIÓN (C): Si todos los valores lógicos de una proposición son falsos.
c) CONTINGENCIA: Si aparecen los dos valores 1 y 0.
2. El número de filas de los arreglos posibles de 1 y 0 está en función del número “n” de proposiciones simples
que tenga la proposición compuesta, se halla con la fórmula: A = 2n.
IMPLICACIÓN Y EQUIVALENCIA LÓGICAS

a) Implicación lógica. - Se llama implicación lógica a toda condicional (p → q) que sea tautológica. En tal
caso se le denota (p  q)
Ejemplo: [ (~ p  q )  ~ q]  ~ p
b) Equivalencia lógica.- Se llama Equivalencia Lógica a todo bicondicional p  q que sea tautológica.
Denotándose: p  q ó p  q
Ejemplo: [p(pq)]p
Ejemplo
Dadas las proposiciones simples:
p: Arequipa es la capital del Perú;
q: La luna es satélite de la tierra;
r: 2 + 7 > 18 / 2;
Hallar el valor de verdad de las siguientes proposiciones compuestas:
1) p  q → r
2) p  r  q  r
LEYES DE LA LÓGICA PROPOSICIONAL
I. REFLEXIVILIDAD O TAUTOLOGÍA TRIVIAL: pp

II. CONTRADICCION: ppC
III. TAUTOLOGICA O DEL TERCIO EXCLUIDO: p~pT
IV. INVOLUCION O DOBLE NEGACION: pp
V. IDEMPOTENTES: ppp; ppp
VI. ASOCIATIVAS : (p  q)  r  p  (q  r)
(p  q)  r  p  (q  r)
(p Δ q) Δ r  p Δ (q Δ r)
(p  q)  r  p  (q  r)
VII. CONMUTATUIVAS : pqq p

pqq p
pqqp
pqqp
VIII.DISTRIBUTIVAS: p  (q  r)  (p  q)  (p  r) p  (q  r)  (p  q)  (p  r)
p → (q  r)  (p → q)  (p → r) p → (q  r)  (p → q)  (p → r)
p  (q  r)  (p  q)  (p  r)
IX. IDENTIDAD O DE ELEMENTOS NEUTROS:

pTT pC p pT p pCC pT p
pCp ppT ppC p→pT p pC
X. DE D’MORGAN:  (p  q)   p   q  (p  q)   p   q
XI. DE LA DISYUNCION EXCLUYENTE:

p  q  (p   q)  (q   p) p  q  (p  q)  ( p   q) p  q   (p  q)
XII. DEL CONDICIONAL: p→qpq  (p → q)  p   q
XIII.DEL BICONDICIONAL:
p  q  (p → q)  (q → p) p  q  (p  q)  (  p   q) p  q   (p  q)
XIV. DE COMPLEMENTACIÓN: CT TCC TC TCT

XV. DE LA INCOMPATIBILIDAD: p  q   (p  q)
XVI. DE LA NEGACION CONJUNTA: p  q   (p  q)
XVII. DE ABSORCION:
p  (p  q)  p p  (p  q)  p p  ( p  q)  p  q p  ( p  q)  p  q
XVIII. DE EXPORTACION: (p  q) → r  p → (q → r)
XIX. DE IMPORTACION: p → (q → r)  (p  q) → r
XX. DE EXPANSIÓN:
p  p  ( q   q) p  p  (q   q) p → q  p  (p  q) p → q  q  (p  q)
XXI. DE DEMOSTRACIÓN POR CASOS: (p  q) → r  (p → r)  (q → r)

XXII. DE REDUCCION AL ABSURDO: (p   q) →C  p → q
XXIII. DE TRANSPOSICIÓN O CONTRARRECÍPROCA: p→qq→p
VIDEO: https://www.youtube.com/watch?v=p005yi28rgk
Vídeo: https://www.youtube.com/watch?v=E2iFwtV6K-s
Ejemplos:
1. La proposición  (  p   q) →  r →  p    r  ( p   q)  es falsa; hallar los valores
lógicos de p, q y r.
2. La proposición {  ( p  q)  (r → q)  [( p  q) → (q   p)]} es verdadera. Hallar el
valor lógico de las siguientes proposiciones:
i.  r  q  ( q  r)  p.
ii. (p → q) → (p  q)   q.
3. Determinar el Valor Lógico de las siguientes proposiciones si:
1
p: 22= 16 ; 2 q: (-2)2 ≠ 22; r: 2 > 3
i. p  q → r  r  q.
ii. [(p → q) → r] → q.
4. Hallar la recíproca, inversa y contrarrecíproca de la siguiente proposición:
3 + 8 ≠ 15  4 + 3 = 8  3 - 5 ≠ 2.

Semana #01 - Lógica Matemática

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

Semana #01 - Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

Facultad de Educación

Escuela Profesional de Educación Secundaria

UNIDAD I: Lógica Matemática y Teoría de Conjuntos

Es todo enunciado abierto p(x), que tiene la propiedad de convertirse en una

b) Proposición Compuesta, Molecular o Coligativa.

CONECTIVOS Y PROPOSICIONES COMPUESTAS

O…o DISYUNCION FUERTE O EXCLUSIVA Δ 1

Ni…ni NEGACION CONJUNTA (Nicod ) ↓ 1

TABLA DE LOS VALORES LOGICOS

p q pq pq p∆q p→q pq ~p pq pq

IMPLICACIÓN Y EQUIVALENCIA LÓGICAS

LEYES DE LA LÓGICA PROPOSICIONAL

I. REFLEXIVILIDAD O TAUTOLOGÍA TRIVIAL: pp

VII. CONMUTATUIVAS : pqq p

LEYES DE LA LÓGICA PROPOSICIONAL

IX. IDENTIDAD O DE ELEMENTOS NEUTROS:

XI. DE LA DISYUNCION EXCLUYENTE:

XII. DEL CONDICIONAL: p→qpq  (p → q)  p   q

LEYES DE LA LÓGICA PROPOSICIONAL

XIV. DE COMPLEMENTACIÓN: CT TCC TC TCT

XVI. DE LA NEGACION CONJUNTA: p  q   (p  q)

XXI. DE DEMOSTRACIÓN POR CASOS: (p  q) → r  (p → r)  (q → r)

También podría gustarte