Lógica matemática

La lógica matemática DERIVA DE LA PALABRA LOGOS; ES LA CIENCIA DE LA RAMA DE LAS

MATEMATICAS que nos permite comprender sobre la validez o no de razonaminto y
demostraciones que se realizan, la lógica estudia la forma de razonamiento y demostraciones
que se realizan, la lógica estudia la forma de razonamiento y amliamente en la filosofía,
matemáticas , computación y física. En la filososfia para determinar si un razonamiento es
valido o no ya que uan frase puede tener diferentes interpretaciones sin embargo permite
saber el significado correcto.

En las matemáticas para demostrar teoremas e inferir resultados matemáticos que puedan ser
aplicados a investigaciones en la computación para revisar programas

En la física para hacer conclusiones de experimentos y en la vida cotidiana

Proposicion

Es un enunciado o frase a la cual podemos asignar un valor de verdad o de falsedad pero no

ambos valores a la vez

Ejemplos

 El dia de hoy es jueves y esta lloviendo (F)

 2+3+1=5 (F)
 2*2=4 (v)
 3+3=8 (F)
 EL CIELO ES AZUL (V)
 2*2+1=5 (V)

Exiten enunciados que son proposiciones porque no existen valores de verdad o de falsedad

Ejemplo

¿Qué hora es?

¡Mañana va a llover!

¿Cómo estas?

El agua es fría

Notación

Para la notación de las proposiciones se utilizan letras minúsculas p,q,r,s, etc

Construcción de tablas de verdad

Se debe considerar lo siguiente para la construcción de las tablas de verdad

 Determinar el numero posible de combinaciones y si hay proposiciones el numero de

combinaciones será 2𝑛 n: es el numero dentro de la variable de la proposición
  Se preocupa por respetar el orden de los valores de verdad dentro de la tabla asi por
ejemplo: si paso tres proposiciones en numero de combinaciones será :

23 = 8
Por lo tanto en 1° proposición ira la mitad en verdadero y la otra mitad en falso; para mi
segunda proposición los valores de verdad iran a la mitad de mi segunda proposición hasta
determinar un valor de verdad y de falsedad

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

OPERADORES LÓGICOS

Son símbolos que nos permiten relacionar las proposiciones entre si y son los siguientes :

 Negación.- Su representación ⌐ por medio de este conector lógico se puede obtener

otra proposición a partir de la segunda anteponiendo la palabra no.

Ejemplo

Tulcan es el centro del país ⌐p: TULCAN no es el centro del país

Tabla de verdad – negativa

p ⌐p
V F
F V
 Conjunción.- Se le representa mediante ^ es un conjunto lógico que nos relaciona dos
proposiciones simples para formar una composición compuesta a travez del nexo “y”
ejemplo:
P: hoy es miércoles
Q:hoy es noche
P^q: hoy es miércoles y es noche

Regla: es verdadero cuando sus dos valores son verdaderos para el resto de combinaciones
será falso.

p q P^q
V V V
V F F
F V F
F F F

 Disyunción.-Se representa mediante v es un conectivo lógico que nos relaciona dos

proposiciones simples para formar una proposición compuesta, la unión se realiza en
el nexo o que representa las disyunción.

p=Imbabura es una provincia del Ecuador.

q= Guayas es una provincia del Ecuador.

p v q: Imbabura y Guayas son provincias del Ecuador.

Regla: Son verdaderas cuando uno o dos valores son negativos o es falso cuando ambos
valores son falsos.

p q Pvq
V V V
V F V
F V V
F F F

Conjunción negativa.- Es la unión de dos o más proposiciones por ni , se lee ni p ni q se

representa por ↓

Regla.- el resultado es verdadero únicamente cuando dos proposiciones son falsas (ni p ni
q) en cualquier otro caso es falsa.

p q P↓q
V V F
V F F
F V F
F F V

Disyunción exclusiva: Se lo representa por ⊻ se lo representa por ⊻ y significa “La una o

la otra pero no las dos” Ejemplo:
V F
Antonio Valencia es jugador de Manchester ⊻ C. Ronaldo de Barcelona (V)
V V
Antonio Valencia es jugador de Manchester ⊻ C. Ronaldo del Real Madrid (F)

p q p⊻q
V V F
V F V
F V V
F F F
Regla.- Es verdadera la proposición cuando la primera proposición es verdadera y la
segunda es falsa, o cuando la primera proposición es falsa y la segunda es verdadera.
 Condicional.-→ (entonces)

El conectivo lógico condicional o de implicación al aplicar nos da una buena proposición

Ejemplo:

P: Esta nublado (V)

Q: va a llover (V)

P→q: esta nublado entonces va a llover (V)

Regla: una proposición condicional es falsa cuando la primera proposición es verdadera y

la segunda es falsa, es verdadera cuando en cualquiera de las otras formas.

P: si saco la lotería

Q:te regalaría un carro

P→q: si me saco la lotería entonces te compro un carro.

P q P→q
V V V
V F F
F V V
F F V

Bicondicional: el bicondicional nos sirve para relacionar dos preposiciones simples a tra vez
del símbolo ↔ y significa si y solo si.

Regla
Una proposición es verdadera cuando: o sus dos componentes son verdaderas o
sus dos componentes son falsas.
p q P↔q
V V V
V F F
F V F
F F V

Proposición Simple.- Son aquellas que están formadas por una sola frase u oración.
Ejemplo:

La capital de Pichincha es Quito

El dia de mañana será martes
El amor es pasajero

Proposiciones compuestas.- Son aquellas que están formadas por dos o mas
proposiciones simples.
Ejemplos:
La capital del Carchi y la capital de Imbabura es Ibarra
La capital de Tulcán es Carchi o La capital de Imbabura es Quito

(p ^ q) ↔ r

(p ^ q) ↔ r
V V V V V
V V V F F
V F F F V
V F F V F
F F V F V
F F V V F
F F F F V
F F F V F
(p→q)↔ (~q→p)
(p → q) ↔ (~q → p)
V V V V F V V
V F F F V V V
F V V V F V F
F V F F V F F

(~p ^ q) → p v (~q)

(~p ^ q) → p v (~q)
F F V V V V F
F F F V V V V
V V V F F F F
V F F V F V V

[( p → q)↔( q ^ r )] → (p ˄ r)]
[(p → q) ↔ (q ˄ r)] → (p ˄ r)]
V V V V V V V V V V V
V V V F V F F V V F F
V F F V F F V V V V V
V F F V F F F F V F F
F V V V V V V F F F V
F V V F V F F V F F F
F V F F F F V V F F V
F V F F F F F V F F F
[(p ˅ ~q) ˄ (r ˄ ~s)] ↔ [(p ˅ s) ˅ (~r ˄ q)]

[(p ˅ ~q) ˄ (r ˄ ~s)] ↔ [(p ˅ s) ˅ (~r ˄ q)]

V V F F V F F F V V V V F F V
V V F V V V V V V V F V F F V
V V F F F F F F V V V V V V V
V V F F F F V F V V F V V V V
V V V F V F F F V V V V F F F
V V V V V V V V V V F F F F F
V V V F F F F F V V V V V F F
V V V F F F V F V V F V V F F
F F F F V F F F F V V V F F V
F F F F V V V V F F F F F F V
F F F F F F F F F V V V V V V
F F F F F F V F F F F V V V V
F V V F V F F F F V V V F F F
F V V V V V V F F F F F F F F
F V V F F F F F F V V V V F F
F V V F F F V V F F F F V F F

TAUTOLOGÍA
Es una proposición compuesta si es verdadera para todos los valores asignados de
verdad para su proposición.
Ejemplo:
P ˅ ~p

p ˄ ~p
V V F
F V V

(p ↔ q) ↔ [(p → q) ˄ (q → p)]

(p ↔ q) ↔ [(p → q) ˄ (q → p)]
V V V V V V V V V V V
V F F V V F F F F V V
F F V V F V V V V F F
F V F V F V F F F V F

Contradicción: Se define como una forma que resulta para cualquier interpretación es
decir para cualquier asignación de valores de verdad.
(p ↔ q)↔ ~ [(p →q) ˄ (q→ p)]
(p ↔ q) ↔ ~ [(p → q) ˄ (q → p)]
V V  V F F V V V V V V V
V F F F V V F F F F V V
F F V F F F V V F V F F
F V F F F F V F V F F F
 LEY DE ALGEBRA DE PROPOSICIONES
L a ley de algebra de proposiciones son equivalencias lógicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional (↔).

 Ley equivalencia
p↔q
 Le idempotencia
p˄p↔p
 Ley asociativa
P˅q˅r↔(p˅q)˅r↔p˅(q˅r)
P˅q˄r(p˄q)˄r↔p˄(q˄r)
 Ley conmutativa
P˄q↔q˅p
 Ley distributiva
P˄(q˅r)↔(p˄q)˅(p˄r)
P˅(q˄r)↔(p˅q)˄(p˅r)
 Ley identidad
p˄F↔F
p˄v↔p
p˅ F ↔p
p˅ v ↔ v
 Ley complemento
p˄~p↔F
p˅~p↔F
~(~p)↔p
~F↔V
~V↔F
 Ley de Morgan
~(p˄q)↔~p˅~q
~(p˅q)↔~p˄~q
 Ley de absorción
p˄(p˄q)↔p
p˅(p˄q)↔p
 Ley condicional simple
p→q↔~p˅q
p→q↔~q→~p
 Ley bicondicional
p↔q ↔(p→q)˄(q→p)
 Ley conjunción negativa
p↓q↔~p˄~q
FUNCIONES PROPOCISIONALES
ES una expresión de tipo p(x) de tal manera que al reemplazar x por un elemento
determinado se obtiene una proposición : es una función cuyas variables son unas
proporciones o es una función expresada de manera que podría asumir los valores de
verdad de falso o verdadero.
P(x)::x+5=7 → Función proposicional
P(2)::2+5=7→ Proposicion verdadera
P(x,y)::x+y=9→ función proposicional
P(3;4)::3+4=9 → Proposicion falsa
P(x):: x es un animal
Si x = mesa
P(mesa)::mesa es un animal→Proposicion Falsa
P(x):: x es un ave
Si x= flamenco
P(x) x es impar
P(-4):: -4 es impar → Proposicion Falsa
P(5):: 5 es impar → Proposicion verdadera
Un cuantificador nos sirve para transformar una proporcional en una proposición y
estos son los siguientes:
Cuantificador Universal ∀(x):: p(x) se lee para todo x

-para cada x
-todas las x

∀x,2x+3x=5x se lee para todo numero ˄ se cumple que 2x+3x=5x

Cuantificador Existencial ∃x.- Es una proposición que existe un elemento ˄ en el universo de

discurso tal que p(x) es verdad se utiliza cuando al menos uno de los elementos del
conjunto del universo de la variable hace que la propocision sea verdadera
∃x se lee –existe al menos un x- hay un x tal que
- Alguna x - hay un elemento x tal que
- Hay x - para algún x
∃x,2x+2=4 se lee existe un elemento x por el cual 2x+2=4

Conectores: son los que nos sirven para formar funciones proposicionales
=,<,>
CONJUNTOS
Es una relación o agrupación de ideas, objetos o cosas que están relacionados entre si y los
objetos que contribuyen los conjuntos se denominan elementos.
Notación: Un conjunto se representa con letras mayúsculas y sus elementos con letras
minúsculas, y en signos de agrupación.
A,B,C → Nombre del conjunto
a,b,c → elemento de un conjunto

E:: pertenece o es elemento de

€:: NO PERTENECE O NO ES ELEMENTO DE

A{1,2,3,4,5,6} B{vocales} B{a,e,i,o,u}

Determinacion.- Un conjunto es determinado cuando un elemento cualquiera x puede
asignar asi el elemento perteneciente al conjunto.

A,Z,Y={provincias del ecuador}

Observaciones.-En teoría de conjuntos no se acostumbra a repetir los elementos; ejemplo:
Y={a,b,b,c,c,c,d,e}
Y={a,b,c,d,e}
El orden en el que se escribe los elementos en el interior de las llaves es arbitrario.
R={1,2,3,4}
R={4,3,2,1}
Cuando se desconoce el ultimo elemento de un conjunto utilizamos los
punto(……………….)significa asi una sucesión
Ejemplo
N={2,4,6,8……………}
Conjuntos por Composicion .- es aquel conjunto que puede ser identificado por medio de
una o mas propiedades que caracterizan a sus elementos y solo a ellos.
A={x[p(x)]} P(x)=propiedad que cumple el elemento
B=[x/x E Z; 𝑋 2 − 𝑋 − 6 = 0} Conjunto de números enteros positivos y negativos
D={x/x ER;-1≤X≤9} Conjunto de números reales.
Conjuntos por extensión.- Es el conjunto que se debe de escribir todos los elementos que
pertenecen al conjunto.
A={a,e,i,o,u}
B={1,2,3,4,5,6……}
Conjunto Finito: Es el conjunto en el cual se le conocen todos los elementos.
Conjunto Infinito:Es el conjunto en el cual no se conoce el ultimo elemento.
Conjunto Universo:Contiene a todos los elementos a los que se hace referencia recibe el
nombre de conjunto universal o espacio referencial, este conjunto depende del problema
que se estudia se denota con la letra U. Ejemplo:
Si solo queremos referirnos a solo 5 numeros naturales el conjunto queda;
U={1,,3,4,5}

DIAGRAMAS DE EULER VENN

El diagrama consiste en representar el conjunto como un área plana limitada por una
curva cerrada la cual pude tener cualquier forma y cuyos elementos se usan en el interior
de la curva cerrada. Los diagramas de Venn sirven para encontrar relaciones entre
conjuntos de manera gráfica mediante dibujos o diagramas.

Conjunto vacío :Se lo representa 𝟇, es el conjunto que carece de elementos o no tiene

ningún elemento.

A={x en/4>x>5}
A= 𝟇
Relaciones entre conjuntos.
Subconjunto: Sean los conjuntos Ay B
A={0,1,2,3,4,5}
B={1,2,3}