PRESENTADO POR:
BRAYAN ANDRES AMAYA MARTINEZ
COD: 1090508334
PRESENTADO A:
INTRODUCCION
OBJETIVOS
TABLA 1 DILIGENCIAMIENTO
TAREA 1: CONCEPTUALIZACIÓN DE LAS REGLAS DE INFERENCIA
TAREA 2: PROBLEMAS DE APLICACIÓN I
TAREA 3: PROBLEMAS DE APLICACIÓN II
TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO.
CONCLUSIONES
REFERENCIAS BIBLIOGRAFICAS
INTRODUCCION
OBJETIVOS ESPECIFICOS
Tarea 3: C Tarea 3: B
CUCUTA
Tarea 4: B Tarea 4: D
Tarea 1: Conceptualización de las reglas de inferencia.
Ejemplo.
1.
Si estudio ingenieria, entonces seré ingeniero.
P: si estudio ingenieria.
q: sere ingeniero
P→q si estudio ingeniería entonces seré ingeniero:
P. estudio ingeniería
q. por lo tanto sere ingeniero
2.
Si está lloviendo, te esperará en el teatro.
Está lloviendo.
Por lo tanto, voy a cumplir en el teatro.
ADJUNCION.
En razonamiento formal, la Adjunción Lógica (→ ) entre dos proposiciones, a y b,
es un Conector lógico cuyo valor de la verdad resulta en verdadero sólo si la
condición a es verdadero y la condición b es falsa, y es falso de cualquier otro
caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede
expresarse:
Distributiva, Exportación, y Contraposición.
Ejemplo.
P: Visitare a mi abuela mañana
q: Comeré ricos buñuelos
Exportación.
Es una regla de reemplazo válida de la lógica proposicional. La regla establece
que si P implica Q entonces P implica P y Q. La regla permite sentencias
condicionales que tengan antecedentes conjuntivos que se sustituyen por
declaraciones que tienen consecuentes condicionales y viceversa en pruebas
lógicas. Es la regla de que:
Donde " ↔’’ es un símbolo metalógico que representa "puede ser reemplazado en
una demostración con.
Ejemplo
Si corro entonces, tengo velocidad luego avanzo; es lógicamente equivalente a: si
corro y tengo velocidad, entonces avanzo.
Si me enamoro entonces, amo luego e produce felicidad; es lógicamente
equivalente a: si me enamoro y amo, me producirá felicidad.
Si brayan realiza su trabajo de lógica a tiempo entonces obtendrá buena nota o los
compañeros de brayan no aportan al foro. Si brayan entrega el trabajo con sus
compañeros entonces no obtendrá buena nota. Si el profesor hace los aportes
respectivos entonces los compañeros de brayan aportan al foro. Brayan si realiza
su trabajo a tiempo y el profesor hace los aportes respectivos.
1= {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}
1. 𝑝→(𝑞∨𝑟)
2. 𝑠→∼𝑞
3. 𝑡→∼𝑟
4. P^t
---------------
…q
5. P simplificación 4
6. T simplificación 4
7. ~r Ponendo ponens entre 3 y 6
8. Qvr ponendo ponens entre 5 y 1
9. Q tolendo ponens
.
CONCLUSION
https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-deduccion-
natural/modus-ponendo-ponens
https://es.wikipedia.org/wiki/Adjunci%C3%B3n_l%C3%B3gica
http://www.monografias.com/trabajos-pdf5/razonamientos-deductivos-e-
inductivos/razonamientos-deductivos-e-inductivos.shtml
http://laslogicass.blogspot.com/2011/03/modus-ponendo-ponens-pp-p-q-p-q-
modus.html