Académique Documents
Professionnel Documents
Culture Documents
Estudiantes:
LINA MARIA ZULUAGA GALVIS C.C 1.040.260.487
Curso:
LGICA MATEMTICAS
Grupo:
90004_801
Tutor:
JORGE LUIS ESTRADA
Hacer un oportuno desarrollo de la actividad cumplimiento con las indicaciones por parte del
docente, utilizando el material de apoyo que nos brinda la universidad y por medio de los
aportes y el cambio de conocimiento con los compaeros de grupo.
Objetivos Especficos
APORTE INDIVIDUAL.
Nos permite pasar de dos premisas a la conclusin, esta regla se aplica siempre que se d una
proposicin condicional y se d precisamente el consecuente. La misma regla se aplica tanto si
el antecedente y consecuente es una proposicin atmica como molecular.
Ejemplo:
Esta ley, no es vlida para la implicacin, pero si para conjuncin y para la disyuncin. Una
conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no
cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin
importar en qu orden se presenta esta eleccin.
(p&q) = (q&p)
Leyes De Morgan
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una
conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de
afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia
operacin en conjunto, como podemos observar aqu:
pqpVq
(p V q) (p q
Aplicacin de leyes lgicas para demostrar y argumentar.
Cuando se tienen varias premisas -o proposiciones que se sabe son verdaderas- y se quiere sacar
las conclusiones derivadas de ellas, se pueden aplicar una o varias leyes lgicas, en forma
repetida si fuere necesario, para construir nuevas proposiciones simples o compuestas que sean
verdaderas y que conduzcan a conclusiones tiles en forma totalmente lgica.
Las Proposiciones:
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F),o bien
verdadero (V), pero no ambos a la vez. Su denotacin generalmente la encontramos con las
letras (p, q, r) Conectores Lgicos Podemos formar nuevas proposiciones a partir proposiciones
dadas mediante el uso de conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin
Leyes de Morgan Son una parte de la Lgica proposicional, analtica, y fueron creada por
Augustus de Morgan. Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes.
Las Leyes de Morgan permiten: El cambio del operador de conjuncin en operador de
disyuncin y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden
estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva con cada uno de sus miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros.
En conclusin:
La idea es siempre la misma, puede expresarse en forma general como:
(a ^ b) = (a) v (b)
(a v b) = (a) ^ (b)
Para un conjunto de operaciones ,^,v que formen un lgebra de Bool (ejemplo, las operaciones
unin interseccin y complemento; las operaciones AND (y) , OR (o), y NOT (negacin).
La probabilidad de que una moneda salga cara es 1/2. Igual de que salga ceca.
Ahora, Cul es la probabilidad de que tirando dos monedas, salgan ambas cara?
a^b
Y como la efectuar un ^ se multiplican las probabilidades (aceptando que los eventos son
totalmente independientes, como en este caso: el resultado de una moneda no influye en la otra),
nos queda una probabilidad de:
Ahora, Qu pasa si queremos lo opuesto, la probabilidad de que no salga las dos veces cara?
(a ^ b)
Como negacin se calcula haciendo 1 - la probabilidad de lo que negamos (esto sale de asumir
que si algo NO "ocurre", entonces OCURRE que "no ocurre". Es un juego de palabras raro pero
es totalmente lgico: si no sale cara, entonces sale ceca, sera la idea.), y ya tenemos el valor de
a^b = 1/4, la negacin buscada ser:
1 - 1/4 = 3/4
Pero verifiquemos ahora la validez de la ley de Morgan en forma experimental. Tenemos que
llegar a este mismo resultado.
(a ^ b) = (a) v (b)
a = b = 1/2 (en trminos de probabilidad, es lo mismo que salga cara o que salga ceca, ambas
tienen 1/2).
La frmula es:
a v b = a + b - ab
Luego queda:
Absorcin es una forma lgica de argumento vlido y una regla de inferencia de la lgica
proposicional. La regla establece que se implica , entonces implica y . La regla
hace posible introducir conjunciones en pruebas. Esto se llama ley de absorcin ya que el
trmino es "absorbido" por el trmino en la consecuencia. Formalmente:
Ejemplo:
Si va a llover, entonces llevar mi abrigo.
Luego, si va a llover entonces va a llover y llevar mi abrigo.
Demostracin por tabla de verdad:
Prueba formal:
Tarea 2: Problemas de aplicacin I parte.
Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado
a travs de:
Solucin.
Leyes de Inferencia:
(P Q) premisa 1
(P R) premisa 2
(R S) premisa 3
(Q S) Conclusin
Tabla de la Verdad:
[(P Q) ^ (P R) ^ (R S)] (Q S)
La Tabla de la verdad es una Tautologa.
( P Q ) ^ ( P R ) ^ ( R S ) ( Q S )
V V V V F V V V V V V V V F V V V
V V V V F V V V F V F F V F V V F
V V V V F V V F V F V V V F V V V
V V V V F V V F V F V F V F V V F
V F F F F V V V F V V V V V F V V
V F F F F V V V F V F F V V F F F
V F F F F V V F F F V V V V F V V
V F F F F V V F F F V F V V F F F
F V V F V F F V V V V V V F V V V
F V V F V F F V V V V F V F V V F
F V V V V F V F F F V V V F V V V
F V V V V F V F F F V F V F V V F
F V F F V F F V V V V V V V F V V
F V F F V F F V F V F F V V F F F
F V F V V F V F F F V V V V F V V
F V F V V F V F F F V F V V F F F
Johanna est planteando una situacin problemtica para su ensayo del curso de
Matemticas financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica: Si
hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la
medicina, las expectativas de vida sern mayores. Si el ndice de natalidad disminuye y las
expectativas de vida se hacen mayores, entonces la sociedad ir envejeciendo rpidamente.
La crisis econmica es un hecho y los avances en la medicina son constantes. Luego, la
sociedad envejecer con rapidez. (Gmez, 2015).
Solucin.
Leyes de Inferencia:
(P Q) premisa 1
(R S) premisa 2
(Q ^ S) T premisa 3
(P R) premisa 4
T Conclusin
Tabla de la Verdad:
( P Q ) ^ ( R R ) ^ ( Q ^ S ) T ) ^ ( P ^ R ) T
V V V V V V V V V V V V V V V V V V V
V V V V V V V F V V V F F F V V V V F
V V V F V F F F V F F V V F V V V V V
V V V F V F F F V F F V F F V V V V F
V V V V F V V V V V V V V F V F F V V
V V V V F V V F V V V F F F V F F V F
V V V V F V F V V F F V V F V F F V V
V V V V F V F V V F F V F F V F F V F
V F F F V V V F F F V F V F V V V V V
V F F F V V V F F F V F F F V V V V F
V F F F V F F F F F F V V F V V V V V
V F F F V F F F F F F V F F V V V V F
V F F F F V V F F F V F V F V F F V V
V F F F F V V F F F V F F F V F F V F
V F F F F V F F F F F V V F V F F V V
V F F F F V F F F F F V F F V F F V F
F V V V V V V V V V V F V F F F V V V
F V V V V V V F V V V F F F F F V V F
F V V F V F F F V F F V V F F F V V V
F V V F V F F F V F F V F F F F V V F
F V V V F V V V V V V V V F F F F V V
F V V V F V V V V V V F F F F F F V F
F V V V F V F V V F F V V F F F F V V
F V V V F V F V V F F V F F F F F V F
F V F V V V V V F F V V V F F F V V V
F V F V V V V V F F V V F F F F V V F
F V F F V F F F F F F V V F F F V V V
F V F F V F F F F F F V F F F F V V F
F V F V F V V V F F V V V F F F F V V
F V F V F V V V F F V V F F F F F V F
F V F V F V F V F F F V V F F F F V V
F V F V F V F V F F F V F F F F F V F
Solucin.
[(P Q) ^ (P R) ^ (R S)] (Q S)
Hiptesis Tesis
Negar la Tesis (Q S) = (Q S)
Johanna
est
Hiptesis Tesis
1. Negar la Tesis T
2. Llegar a una Contradiccin (P Q) ^ (R S) ^ ((Q ^ S) T) ^ (P
R)
3. Simplificacin
a. P Q
b. R S
d. (Q ^ S) T = Q (S T) Ley de Exportacin
e. P R
4. Silogismo
Q St
Q S Absurdo
T
((pq)(rp)(qVs))(qs)
Solucin.
Leyes de Inferencia:
(P Q) premisa 1
(R P) premisa 2
(Q v S) premisa 3
(Q S) Conclusin
Tabla de la Verdad:
[(P Q) ^ (R P) ^ (Q v S)] (Q S)
La Tabla de la verdad es una Tautologa.
( P Q ) ^ ( R P ) ^ ( Q v S ) ( Q S )
V V V V F V V V V V V V V F V V V
V V V V F V V V F V V F V F V V F
V V V V V F V V V V V V V F V V V
V V V V V F V V V V V F V F V V F
V F F F F V V V F F V V V V F V V
V F F F F V V V F F F F V V F F F
V F F F V F V V F F V V V V F V V
V F F F V F V V F F F F V V F F F
F V V F F V V F V V V V V F V V V
F V V F F V V F V V V F V F V V F
F V V V V F F F F V V V V F V V V
F V V V V F F F F V V F V F V V F
F V F F F V V F V F V V V V F V V
F V F F F V V F F F F F V V F F F
F V F V V F F F F F V V V V F V V
F V F V V F F F F F F F V V F F F
(P Q) ^ (R P) ^ (Q v S)] (Q S)
Hiptesis Tesis
Negar la Tesis (Q S) = (Q S)
Llegar a una Contradiccin (P Q) ^ (R P) ^ (Q v S)
Simplificacin
f. P Q
g. R P
h. Q v S
Disyuncin
Q S
Q S
Q S y Q S
Absurdo
https://prezi.com/zz07kof7pkxz/leyes-de-inferencia-ley-simplificacion-disyuntiva/
http://razonamientologico12unefa.blogspot.com.co/2008/06/leyes-de-la-lgica-
proposicional-y_16.html
http://www.academia.edu/6818266/LEYES_Y_TEOREMAS_B%C3%81SICOS_DEL_
%C3%81LGEBRA_DE_BOOLE
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)
http://es.slideshare.net/isidorogg/modus-ponendo-ponens
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
https://www.youtube.com/watch?v=3jqzuqDHOkQ
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://www.zweigmedia.com/MundoReal/logic/logic5.html