Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Encuentra los documentos específicos para los exámenes de tu universidad
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Ebooks gratuitos
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
En este documento, Juan Esteban Puerta Ochoa presenta el uso de tablas de verdad y proposiciones en el contexto de la lógica matemática, con énfasis en el cuantificador existencial. El autor desarrolla tres ejercicios que permiten identificar y comprender los conceptos básicos de lógica matemática, tales como la distinción de tipos de razonamientos, la demostración de razones lógicas y la comprensión de lógica simbólica. El documento incluye ejemplos prácticos y el uso de un simulador para la rectificación de tablas de verdad.
Tipo: Monografías, Ensayos
1 / 10
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
En el siguiente trabajo realizado, hacemos evidente el uso de las tablas de verdad y proposiciones, en el primer ejercicio escogemos un tema en el cual vamos a centrar nuestra sustentación para el trabajo en el cual yo escogí la letra C: Cuantificador existencial, que este será la guía para los dos siguientes ejercicios, en el segundo ejercicio ya hacemos el uso de las proposiciones y la tabla de verdad con un enuncia según el tema y letra que desde un principio se seleccionó, en el tercer ejercicio encontramos un problema de aplicación vasados en la tabla de verdad y además debemos hacer la invención de un enunciado con nuestro tema, además contamos con un simulador para la rectificación de las tablas el cual nos arroja la respuesta para poder hacer el desarrollo de esta, también contamos con un grupo de compañeros que desarrollaron los otros puntos era un trabajo grupal pero el desarrollo era individual.
En el lenguaje de predicados en lógica matemática, se usa el símbolo:!, llamado cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un elemento del conjunto, al que hace referencia la variable, que cumple la proposición escrita a continuación. Ejemplo 1: “Algunos estudiantes de medicina han estudiado anatomía” p: “han estudiado anatomía” q: “alumnos de medicina” r: “existen algunos estudiantes de medicina que han estudiado anatomía” Ejemplo 2: “existe por lo menos una cosa que es bella” p: “una cosa es bella” q: “existe por lo menos” r: “por lo tanto existe por lo menos alguna cosa que es bella”
C: Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la cordillera de los Andes y la llanura amazónica. Argumento simple: p: “Colombia cuenta con una variedad de fauna” q: “Colombia cuenta con una variedad de flora” r: “Colombia la atraviesa la cordillera de los andes” s: “Colombia la atraviesa la llanura amazónica” (p ^ q) ↔ (r ^ s)
Problemas de aplicación C: [(p → q) ↔ r] A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá: Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un contexto, el que se solicita es un contexto académico, ejemplo : p: Juanito estudia en la UNAD q: Juanito adquiere conocimiento r: Juanito asiste a clase Tabla De Verdad Simulador:
p q r (p→q) ((p→q) ↔r) V V V V V V V F V F V F V F F V F F F V F V V V V F V F V F F F V V V F F F V F Contingencia: la proposición puede ser falsa o verdadera
Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0. ↑ 2000. Knowledge representation: logical, philosophical, and computational foundations, Brooks Cole Publishing Co., Pacific Grove. (Knowledge Representation: Logical, Philosophical, and Computational Foundations at jfsowa.com. Retrieved Nov 23, 2012) https://es.wikipedia.org/wiki/Cuantificador_existencial SlidePlayer LÓGICA CUANTIFICACIONAL O DE PREDICADOS - ppt descargar https://www.google.com/search? q=dos+ejemplos+de+cuantificador+existencial&client=firefox-b- d&sxsrf=ALeKk00VoN8mdRg16DvvrIovdQtmf4S8xg:1583367871086&source=lnm s&tbm=isch&sa=X&ved=2ahUKEwiHuIT8iILoAhVBTt8KHWIhCAsQ_AUoAXoECA wQAw&biw=946&bih=958#imgrc=V4E_BAcfGj90pM Guía de actividades y rúbrica de evaluación - Tarea 1 - Proposiciones y tablas de verdad file:///D:/Users/Usuario.MatiusNet/Downloads/Gu%C3%ADa%20de%20actividades%20y%20r %C3%BAbrica%20de%20evaluaci%C3%B3n%20-%20Tarea%201%20-%20Proposiciones%20y %20Tablas%20de%20Verdad.pdf Marín J. (2019). [Simulador Lógica UNAD]. Recuperado de:
