EJERCICIOS DE APLICACIÓN DE LAS LEYES DE INFERENCIA

Demostrar x<6

(1)x>y  V x<6

(2)x>y → x>4

(3)x>4 → x=5 & x<7

(4)x<6 → x=5 & x<7

(5)x<7 & x=5 → z>x  V y<z

(6)x>y → ~(y<z V z>x)

(7)x>y → x=5 & x<7   HS 2-3

(8)(x=5 & x<7) V (x=5 & x<7)  DS 1-4-7

(9) x=5 & x<7     DP 8

(10) x<7 & x=5     CL 9

(11) z>x  V y<z    MPP 5-10

(12) y<z  V z>x    CL 11

(13) ~(x>y)     MTT 6-12

(14) x<6         MTP 1-13

Demostrar ~(A V B)

(1)C & ~D

(2)C → ~A

(3)D  V ~B

(4)C      Sim 1

(5)~A      MPP 2-4

(6)~D      Sim 1

(7)~B      MTP 3-6

(8)~A & ~B   AD 5-7

(9)~( A V B)  DL 8

Demostrar x<y & y=6

(1)x<y ↔ y>4

(2)Y=6 ↔ x+y=10

(3)y>4 & ~( x+y ≠ 10)

(4)y>4 → x<y    LB 1

(5)y>4     Sim 3

(6)x<y     MPP 4-5

(7)x+y=10 → Y=6   LB 2

(8)~( x+y ≠ 10)   Sim 3

(9)X+y=10  DN 8

(10) Y=6    MPP 7-9

(11) x<y & Y=6  Ad. 6-10

PROPOSICIONES BICONDICIONALES

LEYES DE MORGAN

LEYES CONMUTATIVAS

LEY DE SIMPLIFICACIÓN DISJUNTIVA

LEY DE SILOGISMO DISJUNTIVO

LEY DE SILOGISMO HIPOTÉTICO

LEY DE ADICIÓN

MODUS TOLLENDO PONENS

LEY DE SIMPLIFICACION Y ADJUNCIÒN EN LA CONJUNCIÒN

LEY DE SIMPLIFICACIÓN

LEY DE ADJUNCIÓN

DOBLE NEGACION

MODUS TOLLENDO TOLLENS

MODUS PONENDO PONENS

INFERENCIA LOGICA

GRADO DE FUERZA DE LOS TERMINOS DE ENLACE DE LAS PROPOSICIONES

La fuerza de los enlaces se distingue, de la siguiente forma:

Siendo el condicional y bicondicional los más fuertes de romper, el segundo grado de fuerza es para la conjunción y la disjunción (teniendo ambos el mismo grado) y por último y más débil es la negación.

PROPOSICIONES

PRESENTACIÒN

Hola mi nombre es Karen Dayana García Gómez, tengo 16 años, nací el 29 de Mayo de 1994 en la ciudad de Villavicencio, soy egresada del colegio Instituto Técnico Industrial en el año 2010 especializada en Diseño Mecánico y Arquitectónico. Actualmente vivo con mis padres y mis hermanos en el barrio san Benito de la ciudad de Villavicencio. Una de mis expectativas hacia un futuro es poder ser una profesional para poder sacar adelante a mi familia y ser el orgullo para ellos. Me gustaría poder viajar mucho, algún día ser parte del cuerpo administrativo de la fuerza aérea colombiana y desempeñarme como una buena profesional, me gusta cumplir ser responsable por mis actos y hacer resaltar mis valores éticos y morales. Muchas gracias.

Hola, Mi nombre es Stephanny Alejandra Bayona Dávila, tengo 16 años nací el 10 de marzo de 1994 en Bogotá. Vivo en Villavicencio hace 4 años, con mi mamá que se llama Rocío y mis dos hermanas menores Camila de 12 años y Sara de 10 años. Estudié mi primaria y hasta grado 7° en Bogotá y termine el Bachiller en el colegio Arnulfo Briceño Contreras prom 2010 me gradué a la vez como Técnico en Asistencia Administrativa y Técnico en planificación para la creación y gestión de empresas; también realice otros cursos complementarios como técnico en archivo, salud ocupacional y contabilidad básica. Trabajo como auxiliar de una contadora y asistente de la parte administrativa de la emisora Exitosa Estéreo 107.8 F.M. Soy una persona responsable, comprometida, respetuosa y ordenada me gusta cumplir lo que  me propongo. Deseo terminar mi carrera como Contadora  Pública ejercerla excelentemente y luego estudiar derecho para especializarme en Derecho Tributario, así ayudar a mi familia económicamente, corresponderle a mi mama, casarme y conformar mi hogar  

amo a mi familia y aquì se las presento.

Hola mi nombre es Ángela  Tatiana Velásquez Lugo, tengo 21 años, nací el 07 de febrero de 1990. Actualmente vivo con mis padres Nohora y Jorge Enrique, mi hermana Marcela y mi hija de dos años y medio Luciana; también tengo un hermano…Jorge, pero el reside en Bogotá desde hace unos meses. Aunque no conviva con el padre de mi niña llevamos una relación y espero casarme este año con él.

Soy egresada del Colegio INEM “Luis López de Mesa” promoción  2006, estudié un programa Técnico en Gestión Contable y Financiera en CENACAP, hice un semestre en el SENA de Tecnólogo en Contabilidad y Finanzas pero por distintas circunstancias no lo continué. Ahora estoy en La Universidad de los Llanos capacitándome para ser de las mejores Contadoras Públicas del País, con el sueño de ser mi propio jefe y generar empleo algún día. Me considero una persona comprometida, organizada y firme en mis posiciones, soy sensible ante los problemas propios y ajenos y me gusta colaborar aunque sea duro.

Mi nombre es Karen Dhayanne Oliveros Diaz, tengo 17 años, nací el 22 de febrero de 1993 en la ciudad de Villavicencio ;Meta, durante 11 años viví en el municipio de Cumaral - Meta, donde curse toda mi primaria y parte del bachillerato, llegue a vivir a Villavicencio en el año 2004, y en el 2005 ingrese a la Escuela Normal Superior a cursar el grado octavo; me gradué como bachiller académico en el año 2008 e inicie el programa de formación docente allí; en el año 2010 me gradué como Normalista Superior y paralelo a esto culmine mis estudios de un diplomado de Información Investigativa en la ENSV con convenio en la UNIMINUTO.

Actualmente me encuentro cursando primer semestre del programa de Contaduría Publica en la Universidad de los Llanos, ademàs laboro en el Hogar Infantil del ICBF en el barrio Popular; en cuanto a mi formación profesional tengo como prioridad cursar la carrera completa subsidiada por mi promedio, y en cuanto al periodo de ejercer mi carrera  me llama la atención el campo de la docencia universitaria aunque tambien me gustaria pertenecer a la planta del personal que labora en la empresa de Ecopetrol como su Contadora Publica.

LÓGICA?

Es una disciplina que por medio de reglas y técnicas determina si un argumento es valido o no.

APLICACIONES EN:

- La Filosofía, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica nos permite saber el significado correcto.

- La Matemática demuestra teoremas e infiere resultados que pueden ser aplicados en investigaciones.

- La Computación; para revisar programas.

- Las Ciencias Naturales y la Física en donde permite concluir después de un experimento.

- Las Ciencias Sociales y la Vida Cotidiana resolviendo multitud de problemas. 

HISTORIA DE LA LÓGICA MATEMÁTICA

La lógica no es una ciencia que se estudia en el vacio, sino en un entorno, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I AC.

Aristóteles fue el primero en usar el término lógica para referirse al estudio de los argumentos dentro le del lenguaje natural, donde él mismo definió esta ciencia como: “El arte de la argumentación correcta y verdadera”.

 Abarca la retórica, la oratoria, la filosofía, y la matemática, entre otras ramas del conocimiento. Esta última solo se empezó a estudiar después del siglo XIX y posteriormente por las ciencias computacionales, naciendo así la “Lógica Simbólica”, que trata de esquematizar los pensamientos claramente usando un lenguaje de signos propio y distinto al verbal.