Resultado de búsqueda
Un documento en formato Word que explica los conceptos básicos de la lógica proposicional, como proposiciones, conectores, fórmulas, álgebra, tautologías, contradicciones, equivalencias e implicaciones. Incluye ejemplos, tablas de verdad y teoremas de implicación.
Un documento en formato PDF que explica la historia, los conceptos y las reglas de la lógica proposicional, con ejemplos y ejercicios resueltos. Ideal para estudiantes de ciencias de la computación, matemáticas y filosofía.
Una tesis que propone una estrategia para introducir los conceptos de lógica matemática en el grado noveno usando Scratch y Visual Basic. El objetivo es motivar y mejorar el aprendizaje de la lógica a través de proyectos tecnológicos relevantes para el contexto de los estudiantes.
LÓGICA PROPOSICIONAL La lógica estudia métodos de razonamiento que separan los razonamientos válidos de los no válidos. El interés por el análisis de los razonamientos se debe a que en las ciencias de la computación deben aplicarse para lograr que los programas realicen lo que se pretende.
Aprende los fundamentos de la lógica proposicional, el estudio de las reglas de validez formal de los argumentos. Descubre cómo usar las variables, los conectores y los símbolos auxiliares para representar y analizar las proposiciones.
Para especificar un sistema formal se requiere: Un alfabeto de símbolos. Un conjunto de cadenas finitas de dichos símbolos, llamadas fórmulas bien formadas (fbf). (lenguaje formal) Un conjunto de fórmulas bien formadas, llamadas axiomas. Un conjunto finito de «reglas de inferencia o de deducción».
Un libro que introduce al estudiante en la lógica racional y el método científico, cubriendo los programas de nivel medio superior. Incluye definiciones, ejemplos, ejercicios y referencias bibliográficas sobre la lógica simbólica y su aplicación a la matemática.
