Documente Academic
Documente Profesional
Documente Cultură
ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar
resumir como "si P implica Q; y P es verdad; entonces Q también es verdad." La historia del
𝑃 → 𝑄, 𝑃
∴𝑄
Donde la regla es cuando "P → Q" y "P" aparezcan por sí mismos en una misma línea de
una prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que la
premisa de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que se
mantiene para su uso posterior, por ejemplo, en una deducción más compleja.
Negación del consecuente o ley de contraposición) es una forma de argumento válida y una
La regla de inferencia modus tollendo tollens establece que si una primera afirmación
𝑃 → 𝑄, ¬𝑄
∴ ¬𝑃
donde 𝑃 → 𝑄, significa "P implica Q", ¬Q significa "no es el caso de que Q" (o en resumen
"no Q"). Entonces, cada vez que 𝑃 → 𝑄"𝑦 ¬𝑄 aparecen por sí mismas como líneas de
SILOGISMO HIPOTÉTICO
En lógica clásica, el silogismo hipotético es una forma de argumento válido que consiste en
un silogismo con una sentencia condicional para una o ambas de sus premisas. En la lógica
proposicional, el silogismo hipotético es una regla de inferencia válida (llamado también
𝑃 → 𝑄, 𝑄 → 𝑅
∴𝑃→𝑅
Donde la regla es que cada vez que las instancias de 𝑃 → 𝑄 𝑦 𝑄 → 𝑅 aparecen en las líneas
__________________________________________________
¬p “Luego, no llueve”
MTP, en latín significa modo que negando afirma, es una forma válida de argumento.
En el siguiente ejemplo se muestra que si no ocurre un determinado suceso entonces sucede
otro:
No A
Por lo tanto, B
o exclusivo:
No A
Por lo tanto, B
es un modo bastante sencillo, para entenderlo más claramente podríamos decir que:
O es de día o es de noche.
No es de día.
ponens_27.html
¬¬p ↔ p
_____________________________________________________
ADJUNCIÓN Y SIMPLIFICACIÓN
Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
Λ(conjunción).
p “Juan es cocinero”
q “Pedro es policía”
___________________________________
formado por dos miembros unidos por una conjunción, podemos hacer de los dos miembros
____________________________________________
La disyunción, que se simboliza con el operador V, representa una elección entre dos
enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos
afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda
__________________________________________________________
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una nueva
premisa en forma de disyunción, cuyos miembros serían los consecuentes de las dos
plantear una elección igualmente entre sus dos posibles efectos, que es el sentido de esta
regla.
LA Ley de adición
-----
A∨B
SIMPLIFICACIÓN (S)
miembros unidos por una conjunción, podemos hacer de los dos miembros dos enunciados
LS Ley de simplificación
A∧B
-----
A
D. Simplificación Disyuntiva, Absorción y Ley de Morgan
Nos permite pasar de dos premisas a la conclusion, esta regla se aplica siempre que se dé
P (2) P V M
---------- _____________________
EJ: Si esta planta no crece, entonces o necesita más agua o necesita mejor abono . Esta
planta no crece.
¬P→QVA
¬P
______________
.: Q V A
En palabras podemos concluir que esta planta necesita más agua o más abono
Leyes de Morgan
Son una parte de la Lógica proposicional, analítica ,y fueron creada por Augustus de
Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
Casos:
Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan
nos permite transformarla en una proposición disyuntiva con cada uno de su miembros
negados
Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgan
nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros
negados
(P ^ Q) ≡ ¬ (¬ P v ¬ Q)
Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite
(P v Q) ≡ ¬(¬P ^ ¬Q)
Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite
Absorción ABS
Permite que a partir de una proposición condicional, se concluya en otra condicional con el
mismo antecedente, aunque en el consecuente se unen las dos proposiciones con una
conjunción.
P→Q
/.˙. P → (P v Q)
TAREA 2: PROBLEMAS DE APLICACIÓN I
A. El programa Ser Pilo Paga está dirigido a los mejores bachilleres del país, con
resultados obtenidos en la prueba Saber 11, el primer lugar recibirá una beca
completa 100% para ingresar en la universidad que desee, el segundo lugar recibirá
una beca que cubre el 50% de los costos académicos en la universidad que desee y
el tercer lugar recibirá un portátil última generación; para dicho fin el secretario
hizo el siguiente razonamiento: “Si Gabriela ganó la beca del 100% entonces Juan
recibió la beca del 50% o Daniela fue quien recibió la beca del 50%. Si Daniela fue
quien recibió la beca del 50%, entonces Gabriela no obtuvo como premio la beca
del 100%. Si Pedro fue quien ganó la beca del 50% entonces Daniela no fue quien
recibió la beca del 50%. Gabriela se ganó la beca del 100%. Por lo tanto, Pedro no
T T T T T
T T T F T
T T F T F
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
____________
PΛ S
C. El consejo directivo de una Universidad, preocupado por el número de estudiantes sin
matricular, realiza un análisis de este fenómeno y encuentra la siguiente situación. “Si se
suben las matrículas, habrá retiros masivos. Si hay retiros masivos, entonces el rector debe
replantear el aumento en las matrículas o la universidad se cerrará. Si la universidad se
cierra, el rector será el responsable. El rector no replanteará el aumento en las matrículas y
el rector no será despedido. En consecuencia, no subirán las matrículas
lugar recibirá un computador portátil, el segundo lugar recibirá una Tablet y el tercer lugar
recibirá una colección de libros de matemáticas Schaun; para dicho fin el líder Nacional
hizo el siguiente razonamiento: “Si Ximena se ganó el computador entonces Johan recibió
la Tablet o Ricardo fue quien recibió la Tablet. Si Johan fue quien recibió la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien recibió la
Tablet entonces Ricardo no fue quien recibió la Tablet. Ximena se ganó el computador. Por
Universidad de su rol como estudiante y demostrar la validez del argumento dado a través
de:
A. [(𝑝 ⟶ 𝑞) ∧ (𝑟 ⟶ 𝑠) ∧ (𝑝 ∨ 𝑟)] ⟶ (𝑞 ∨ 𝑠)
A. Se me presenta la siguiente situación: “el restaurante al que siempre acudo, encuentro que
uno y otro miércoles, aparentemente sin excepción el plato principal del almuerzo es arroz
con pollo. Entonces decidí que no almorzaría ahí los miércoles, porque los miércoles sirven