Folleto de Matematicas Logica Resumen
Folleto de Matematicas Logica Resumen
Folleto de Matematicas Logica Resumen
La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. La lógica es ampliamente
aplicada en la filosofía, matemáticas, computación, física. En la filosofía para
determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo, la lógica permite saber el significado correcto. En las
matemáticas para demostrar teoremas e inferir resultados matemáticos que puedan ser
aplicados en investigaciones. En la computación para revisar programas.
La lógica es pues muy importante; ya que permite resolver incluso problemas a los
que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos
innovaciones a los ya existentes o simplemente utilización de los mismos.
1
aplicando las reglas de inferencia para relacionar los conocimientos y obtener el
resultado.
1. CALCULO PROPOSICIONAL
Denominado también lógica proposicional: se define como la ciencia que trata de los
principios válidos del razonamiento y la argumentación. El estudio de lógica es el
esfuerzo por determinar las condiciones que justifican a una persona para pasar de una
proposición dada, llamadas premisas, a una conclusión que se deriva de aquellas.
La Lógica proposicional estudia las operaciones proposicionales y la deducción
proposicional.
Es la más antigua y simple de las formas de lógica, permite representar y manipular
aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente
evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso
de conectivos proposicionales. Es diseñada para analizar ciertos tipos de argumentos, en
ella las fórmulas representan proposiciones y las conectivas lógicas
son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor
complejidad. Como otros sistemas lógicos la lógica proposicional intenta esclarecer
nuestra comprensión de la noción de consecuencias lógicas para el rango de argumentos
que analiza.
Clases de proposiciones
Proposiciones simples:
También denominadas proposiciones atómicas. Son aquellas proposiciones que
no se pueden dividir. Ejemplo: El cielo es azul.
Proposición compuesta:
Una proposición compuesta es un proposición obtenida por la combinación de una
o más proposiciones dadas mediante el uso de operadores (o conectivos) lógicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalare un auto.
2
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una
declaración es verdad, son aquellos valores posibles que pueden asignarse a las
proposiciones. Se pueden representar con "V" y "F", con "1" y "0", con "True" y
"False".
Los valores de verdad son dos: verdadero y falso. Estos se basan en el principio
lógico de no contradicción, que establece la imposibilidad de p y -p al mismo tiempo.
Por ejemplo, es imposible que usted esté leyendo y no esté leyendo esto al mismo
tiempo.
Los valores de verdad son algo así como evaluaciones que hacemos de las
oraciones en virtud de una relación, por lo que son conceptos semánticos.
p
V
F
Tablas de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el
valor de verdad de una proposición compuesta, para cada combinación de verdad que se
pueda asignar. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el
3
formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-
philosophicus, publicado en 1921.
En una tabla de verdad se pueden considerar dos proposiciones que pueden ser A
y B y a cada una de estas se les asigna un valor puede ser V o F.
Verdadero
Falso
Conectores
Los símbolos de operaciones del cálculo proposicional son:
1. Negación (¬). Representa el “no” del lenguaje natural, también expresiones como “es
falso que”, “no se cumple que”, etc.
2. Conjunción (ᴧ). Representa expresiones como: “y”, “pero”, “aunque”, “sin
embargo”, etc.
3. Disyunción (V). Representa expresiones como: “o”, “al menos uno”, etc.
4. Condicional (⇒). Representa expresiones como: “si A entonces B”, “cuando A, B”,
“B, siempre que A”, etc.
5. Bicondicional (⇔). Representa expresiones más complejas, donde se expresa que
dos proposiciones tienen la misma veracidad.
Operadores Lógicos
Como operadores designamos a aquellos símbolos que se utilizan para
“conectar” un par de proposiciones. Se utilizan letras (generalmente p, q, r) para
representar proposiciones simples y estas se combinan con los conectores para formar
compuestas. Cada proposición simple tiene un valor de verdad asociado a ella (V o F
pero no ambos) Estos se tabulan en una tabla de verdad. Cada conector influye en el
4
valor de verdad total de la proposición compuesta y tiene asociada su propia tabla de
verdad.
Operador de Negación
La negación de p es la proposición ~p, que se lee "no p. "Su valor de verdad se
define por la siguiente tabla de verdad.
p ~p
T F
F T
a) p: "2+2 = 4"
b) q: "1 = 0"
c) r: "Los diamantes son el mejor amigo de una perla."
d) s: "Todos los políticos en esta ciudad son ladrones. "
5
Sin embargo, se nota cierta ambigüedad, ya que puede captarse en dos sentidos:
incluyente y excluyente. En el primer sentido, la disyunción plantea que puede ocurrir
una o ambas posibilidades.
Ejemplos:
Por esta razón, el sentido inclusivo o débil puede expresar aun usando el añadido “lo
uno o lo otro o ambos”. En textos oficiales se usa la anotación “y/o”. En la lengua latina
la opción de la “o” inclusiva se expresaba con el término “vel”.
e f e˅f
1 1 1
1 0 1
0 1 1
0 0 0
6
Operador de Conjunción Negativa
Es aquel operador en el cual las proposiciones compuestas dan un resultado
verdadero, solo cuando las dos preposiciones simples sean falsas.
Ejemplo:
A partir de las siguientes proposiciones, determine la proposición resultante de
efectuar la conjunción negativa. p) Tengo caramelos q) Tengo un helado (p ↓ q): Ni
tengo caramelos, ni tengo un helado.
p q p ↓ q
V V F
V F F
F V F
F F V
p q p⊻ q
V V F
V F V
F V V
F F F
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 verdadera.
7
Operador Condicional
Son dos proposiciones simples que se pueden coordinar mediante las palabras
(Si entonces) para formar una proposición compuesta llamada condicional de las dos
primeras. Simbólicamente se representa: p → q se lee: (si p entonces q)
Reciproca de la condicional ( p ← q o q → p )
Inversa de la condicional ( p → q )
Contrarreciproca o contrapuesta de la condicional ( p → q )
Ejemplo:
Dada la proposición: Si estudio algebra entonces pasare el año. Encontrar la
recíproca, inversa y Contra-recíproca.
P= Si estudio algebra
Q= Pasare el año.
8
Operador Incondicional o Bicondicional
Un bicondicional es una proposición que tiene una doble condicionalidad, fijada
por las fórmulas que relaciona de manera binaria. En el lenguaje coloquial, la idea está
asociada a la expresión “si y solo si”: el bicondicional es verdadero si los términos que
relaciona comparten el valor de verdad (es decir, si las dos fórmulas son verdaderas o si
las dos fórmulas son falsas). En cambio, cuando las fórmulas tienen diferente valor de
verdad (ya que una es falsa y la otra verdadera), el bicondicional es falso.
Retomando las fórmulas mencionadas líneas arriba: “Si un ser humano pertenece
biológicamente al género masculino, entonces tiene órganos reproductivos masculinos”.
Esto también puede expresarse al revés: “Si un ser humano tiene órganos reproductivos
masculinos, entonces pertenece biológicamente al género masculino”. Como se puede
advertir, estamos ante una proposición bicondicional: requiere que ambos términos
tengan el mismo valor de verdad para ser verdadera.
R C R ↔C
V V V
V F F
F V F
F F V
9
puede ser (verdadero), (falso) y (nulo, es decir que no se ha establecido estado alguno
por la razón que sea).
Ejemplo
Establecer el estado lógico de un material: El hierro, para establecer un estado
lógico primero deberemos tener un sustento, ya que no podemos decir que el hierro es
verdad o mentira. Nos tendremos que referir a alguna cualidad del material y
compararla con algo para establecer si el estado es verdadero o falso.
Una vez establecido el estado lógico de la expresión, los operadores lógicos nos
permitirán comprobar la veracidad o falsedad de los enunciados o de los estados
lógicos.
10
(¬ (p ∧ ¬q) ∨ r)
p
q
r
¬q
(p ∧ ¬q)
¬(p ∧ ¬q)
(¬ (p ∧ ¬q) ∨ r)
11
1.1 Tautología
Es toda proposición simple o compuesta, cuyo valor de verdad siempre es verdadero,
independientemente de los valores de verdad de las variables proposicionales que la
componen.
V V V F F V V
V V F F F V V
V F V V V F V
V F F V V F F
F V V F F V V
F V F F F V V
F F V V F V V
F F F V F V V
Ejemplo:
1.2 Contradicción
Contradicción es aquella proposición compuesta k es falsa para todos los valores de
verdad de sus variables.
Ejemplo:
Dado el enunciado
p: la puerta es verde
Determinar si p ˄¬p es una contradicción
p ˄ ¬p
V F F
F F V
Ejemplo:
(p ^ q) ^ (¬p ^ q) ²
p q ~p ~q (p ^ q ) (~p ^ (p ^ q ) ^ (~p ^
~q) ~q)
12
V V F F V F F
V F F V F F F
F V V F F F F
F F V V F V F
1.3 Contingencia
Con cinco conectivas lógicas básicas se construyen proposiciones compuestas que
pueden ser tautologías, contradicciones o contingencias.
Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la
verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica.
Si la tabla de verdad es siempre falsa, será una contradicción.
Si es verdadera y falsa, la proposición es una contingencia.
Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede
ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores
de las proposiciones que la integran. Sea el caso:
2. CUANTIFICADORES
Cuando se habla de cuantificadores en términos de Lógica, Teoría de Conjuntos o
Matemáticas en general, se hace referencia a aquellos símbolos que se utilizan para
indicar cantidad en una proposición, es decir, permiten establecer “cuántos” elementos
de un conjunto determinado, cumplen con cierta propiedad.
13
El símbolo (para todo…) se denomina cuantificador universal, y el símbolo
(existe al menos un…) se denomina cuantificador existencial.
Así, un cuantificador transforma una función proposicional, en una proposición a la cual
se le asigna un valor de verdad.
Los cuantificadores más utilizados son entonces:
Ejemplos:
1. Sea A = { 1, 2, 3, 4, 5 }. Determine el valor de verdad de cada uno de los enunciados
siguientes:
a.
Es FALSO porque ningún número de A es una solución de x+3=10
b.
Es VERDADERO. Cualquier número de A cumple que x+3<10
14
Ejemplo:
p v ~q = V
TAUTOLOGIA
La segunda ley nos dice que p y no p equivale a falso es decir dada una proposición y la
negación de esta proposición su equivalente es falso.
P ^ ~p = F
Ejemplo:
CONTRADICCION
15
CONTINGENCIA
D. LEY DE IDEMPOTENCIA 1
Idempotencia significa igual valor, y su primera ley es:
pvp≡p
Es decir una proposición o la misma proposición es equivalente a la proposición.
Ejemplo:
(~ p ^ r) v (~ p ^ r) ≡ ~ p ^ r
p r ~p (~ p ^ r) (~ p ^ r) v (~ p ^ r)
V V F V V
V F F V V
F V V F F
F F V V V
CONTINGENCIA
E. LEY DE IDEMPOTENCIA 2
p y p equivale a p es decir una proposición y la misma proposición equivale a esa
proposición.
p^p≡p
Ejemplo:
(p r) ^ (p r) ≡ p r
CONTINGENCIA
F. LEY CONMUTATIVA 1
Conmutar significa cambiar de lugar u orden.
16
Primera ley: p ocupa el primer lugar y pasa a ocupar el segundo lugar, q ocupa el
segundo lugar y pasa a ocupar el primer lugar es decir se conmutan.
Ejemplo:
~p v q
q v ~p
p v (~q^t)
(~q^t) v p
G. LEY CONMUTATIVA 2
p y q equivale a q y p.
p^q=q^p
Ejemplo:
p^ q (~q v p) ^ r
~q^p r ^ (~q v p )
p ^ (q v ~p) = (q v ~p) ^ p
CONTINGENCIA
H. LEY
ASOCIATIVA
Para poder asociar, es necesario que las conectivas deban ser iguales. Es decir, las
proposiciones deben estar relacionadas, o conectadas con el mismo conector.
pvqvr
En esta demostración, podemos apreciar que las proposiciones “p”, “q”, “r”, están
relacionadas por un mismo conector lógico (disyunción), de esta manera, hay varias
formas de asociar la expresión, podemos unir la primera y la segundo, de esta manera
queda así:
(p v q) v r.
O dejar afuera la primera, uniendo la segundo y tercera, de este modo:
p v (q v r).
17
Ejemplo:
I. LEY DISTRIBUTIVA
Para aplicar las leyes distributivas debemos tener operadores diferentes, el primer
elemento se va a distribuir con los siguientes
p ∧ (q v r) = ( p ∧ q) v ( p ∧ r )
Ejemplo:
P ^ ( q v r) = ( p ∧ q) v ( p ∧ r )
CONTINGENCIA
18
J. LEY DE MORGAN
¬ (p ∨ q) = ¬p ∧ ¬q
La primera ley de de Morgan afirma que:
La negación de una disyunción inclusiva equivale a la negación de la primera
proposición “y” la negación de la segunda proposición (conjunción)
¬ (p ∧ q) = ¬p ∨ ¬q
Ejemplo:
1) ¬ (p ∨ q) = ¬p ∧ ¬q ∨ ∨ ∧
p q ¬p ¬q (p q) ¬ (p q) ¬p ¬q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V CONTINGENCIA
Ejemplo:
1) ¬ (p ∧ q) = ¬p ∨ ¬q
∧ ∧ ∨
p q ¬p ¬q (p q) ¬ (p q) ¬p ¬q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V CONTINGENCIA
K. LEY CONDICIONAL
19
p entonces q, aquí tenemos primera proposición y segunda proposición, equivale a negar
a primera es decir negará p, el conectivo de la condicional se convierte en o y copiamos
la segunda proposición.
p q≡~pvq
EJEMPLO:
TAUTOLOGIA
L.
LEY BICONDICIONAL
En esta ley, la primera proposición condiciona a la segunda, y viceversa, es decir, que
de igual modo la segunda condicionará a la primera, de este modo:
p↔q
Como ya fue dicho, la primera proposición condiciona a la segunda y al revés de
manera posterior:
(p → q) ^ (q → p)
Ejemplo:
CONTINGENCIA
M. LEY DE ABSORCIÓN
Absorción absoluta
p ∧ (p ∨ q) = p ~p v (~p^q)= ~p
20
CONTINGENCIA
Esta ley afirma que si una proposición fuera del paréntesis se repite dentro del mismo,
aunque esta se halle junto a otra proposición, equivaldrá a la primera proposición.
Para que esta ley se cumpla necesita de operadores diferentes.
Absorción es una forma lógica de argumento válido y una regla de inferencia de la
lógica proposicional. La regla establece que si P implica Q, entonces P implica P y Q.
La regla hace posible introducir conjunciones en pruebas. Esto se llama ley de absorción
ya que el término P es "absorbido" por el término Q en la consecuencia.
siempre que aparezca una instancia de P Q en una línea de alguna prueba, “P (P
^ Q) se puede concluir en la línea siguiente.
Absorción Parcial
Ejemplo:
p ^ (~ p V q) = p ^ q
p q ~p (~p v q) P ^ (~p v q) = p^q
V V F V V V
V F F F F F
F V V V F F
F F V V F F
CONTINGENCIA
N. FORMAS NORMALES PARA LA CONJUNCIÓN Y DISYUNCIÓN
Primera ley: verdadero y verdadero equivale a verdadero
V^V=V
Segunda ley: p y verdadero equivale a p , es decir cualquier proposición y verdadero
equivale a esa proposición.
p^V=p
Tercera ley: p y falso equivale a falso, es decir cualquier proposición y falso nos da
falso.
~p^F F
21
Cuarta ley: falso o falso equivale a falso.
FvF= F
Quinta ley: cualquier proposición o falso equivale a esa proposición.
pvF=p
~pvF ~p
Sexta ley: cualquier proposición o verdadero equivale a verdadero.
pv= V
~qvV V
4. DEMOSTRACIONES
Demostrar una afirmación consiste básicamente en comprobar que es coherente con las
reglas lógicas que hacen funcionar toda la teoría matemática, y que no contradice
ninguna otra afirmación que previamente se haya demostrado que es cierta. Utilizando
una terminología más formal, cuando decimos que las afirmaciones en matemáticas han
de ser demostrables y que no puede haber afirmaciones contradictorias, estamos
diciendo, respectivamente, que las matemáticas han de ser han de ser completas y
consistentes.
DEMOSTRACIÓN DIRECTA
La demostración directa consiste en construir un razonamiento que conduzca al teorema
como conclusión, o sea se demuestra una afirmación o teorema expresando las premisas
que conducen directamente a ella.
Por ejemplo, si se quiere demostrar q y supongamos que tenemos las premisas "p → q"
(la flecha es la conectiva lógica llamada "condicional")y "p", ello se expresa así:
p →q
p
___
q
DEMOSTRACIÓN INDIRECTA
Tipo de demostración lógica; se distingue por el procedimiento de fundamentar la tesis.
A diferencia de la demostración directa, en la indirecta la veracidad de la tesis que se ha
de demostrar se funda estableciendo la falsedad de ciertas proposiciones. Éstas se hallan
ligadas de tal modo a la tesis indicada que de la falsedad de las proposiciones se sigue
necesariamente la veracidad de la tesis. Existen diferentes tipos de demostración
indirecta.
Ejemplo:
22
Demostrar que si 3n+2 es impar, entonces n es impar
p: 3n+2 es impar.
q: n es impar.
EJEMPLOS
23
Referencias Bibliográficas
Web-grafía
CONCEPTODEFINICIÓN.DE. (2015). Tablas de verdad. Recuperado el 15 de
noviembre del 2017, de: http://conceptodefinicion.de/tablas-de-verdad/
Joe, L., Jonathan, C., Kevin, K., & V, A. A. (2015). Matematica Positiva.
Recuperado el 15 de noviembre del 2017, de:
https://matematicapostiva.wordpress.com/2015/04/14/logica-matematica-tablas-de-
verdad/
24
Julián Pérez Porto. (2016). Definición de Bicondicional. Recuperado el 15 de
noviembre del 2017, de: (https://definicion.de/bicondicional/)
Bibliografía
Peter, B. Jim, F. Jane, F. Paula, W. T. (2015). Estudios Matemáticos Nivel
Medio (Primera Edición). (pág. 385). Reino Unido: Oxford University Press.
25