Lógica Simbólica Conceptualización.

Slides:



Advertisements
Presentaciones similares
Lógica, Argumentación y Pensamiento Crítico
Advertisements

El método científico.
Lógica y argumentación
PROF. ING. JULIO CESAR CANO RAMIREZ
PRUEBAS DE VALIDEZ E INVALIDEZ
LÓGICA PROPOSICIONAL.
COMPETENCIAS PROYECTO TIC UNIVERSIDAD PONTIFICIA BOLIVARIANA
Técnico en programación de Software
Lic. Carmen Aguinaga Doig
Caracterización de la lógica como disciplina formal
Maestría en Bioinformática Bases de Datos y Sistemas de Información Fundamentos de Lógica Ing. Alfonso Vicente, PMP
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE INGENIERIA DIVISIÓN DE INGENIERÍA ELÉCTRICA COMPUTACIÓN PARA INGENIEROS NOTA IMPORTANTE: Para complementar.
Tipos de Razonamiento.
LÓGICA Ing. Daniel Palomares.
CAPITULO 2 La Representación del Conocimiento
Algebra Booleana y Compuertas Lógicas
Lógica Proposicional.
Introducción a la Lógica
Las Operaciones Intelectuales
PROGRAMACIÓN LÓGICA.
ESTRUCTURAS DE CONTROL
UNIVERSIDAD DE MANAGUA I CUATRIMESTRE INTRODUCCION A LA PROGRAMACION
Aporte de la Lógica a la Matemática
Electrónica Digital.
Metodos de Inferencia Lenin Herrera.
CAPACIDAD DE SUSTENTAR
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
PRUEBA SABER MATEMÁTICAS 3° Y 5°
ESTRUCTURA DE DATOS ESD-243
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
Universidad Autónoma San Francisco CARRERA PROFESIONAL: Lengua, Traducción e Interpretación Asignatura: MATEMÁTICA Tema: “SISTEMA FORMAL”
(o lógica proposicional)
Lógica de proposiciones, deducción natural
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
Proposiciones simples y proposiciones compuestas
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
INTRODUCCIÓN A LA LÓGICA
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
El razonamiento: La lógica
Lógica.
Matemáticas Computacionales
Lógica proposicional Docente: Edgar Duarte.
Términos algoritmo diseñar algoritmo implementar algoritmo
Unidad 7 Introducción a la lógica simbólica (Cálculo proposicional)
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
HERRAMIENTAS BASICAS PARA TENER EN CUENTA EN LA PRUEBA DE ESTADO
Sistemas Basados en Reglas
Lógica Proposicional.
Operaciones Algebraicas
MODELOS DE RAZONAMIENTO.
Presente un cuestionario con los aspectos mas importantes sobre los
Cómo refutar argumentos
Abril CV11 MATEMÁTICAS DISCRETAS MARTES 20:30 – 22:00 MIERCOLES 17:00 – 19:00 JUEVES 16:30 – 17:30 M. en C. José del Carmen.
Lic. Carla Aguirre Montalvo
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
CURSO DE MATEMATICAS TEMAS DE MATEMATICAS Matemáti cas 1 Matemá ticas 2 Matemá ticas 4 Matemá ticas 3 Calculo Diferencial Calculo Integral.
LÓGICA JURÍDICA Idea preliminar Cap. I Nicolás Mejía Gómez -Universidad Libre – Facultad de derech.
-EL TEXTO -LA ARGUMENTACIÓN -EL PÁRRAFO
LENGUAJE Es un sistema de signos Los signos pueden ser Naturales Artificiales Icónico- simbólicos Convencionales (culturales) Designado Interprete Poseen.
TIPOS DE FALACIAS. TIPOS DE FALACIAS FALACIAS FORMALES: Tienen forma lógica Forma de razonamiento que parece correcta, pero resulta no serlo cuando.
 La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. ciencia formalfilosofíademostracióninferenciaválida.
Los principios lógicos obedecen a la coherencia entre los elementos del pensamiento que requiere ciertas leyes o cimientos para pensar coherentemente.
 Son los fundamentos que determinan ciertas reglas a seguir, para lograr la coherencia y sistematicidad de los pensamientos en las formas y contenidos.
 Dicho principio lógico podemos formularlo de la siguiente forma: A es A, en la cual la variable A denota un pensamiento o contenido concreto cualquiera.
Principios lógicos Los “principios lógicos” constituyen las verdades primeras, “evidentes” por sí mismas, a partir de las cuales se construye todo el edificio.
PRINCIPIOS LOGICOS UNIDAD IV.
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Primera parte.
Transcripción de la presentación:

Lógica Simbólica Conceptualización

LÓGICA La Lógica es un termino que deriva del griego logos, que significa razón La razón es la facultad en virtud de la cual el ser humano es capaz de identificar conceptos, cuestionarios, hallar coherencia o contradicción entre ellos y así inducir o deducir otros distintos de los que ya conoce La lógica estudia los principios de los razonamientos correctos

¿LÓGICA SIMBÓLICA? Todos estamos familiarizados con la lógica y con la idea de que algunas personas poseen una “mentalidad lógica” mientras que otras no. ¿Como podemos llegar a ser lógicos? No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones validas. El propósito de la lógica simbólica consiste en establecer un lenguaje simbólico artificial que se pueda utilizar para simplificar los argumentos lógicos complicados

VARIABLES En matemáticas y en lógica, una variable es un símbolo constituyente de un predicado, fórmula, algoritmo o de una proposición. El término «variable» se utiliza aun fuera del ámbito matemático para designar una cantidad susceptible de tomar distintos valores numéricos dentro de un conjunto de números especificados Ejemplos i, x , 1+𝑥 𝑛 =1+ 𝑛𝑥 1! + 𝑛 𝑛−1 𝑥 2 2! +…

FORMULA En matemáticas y otras ciencias, una fórmula es una forma breve de expresar información de modo simbólico , o una relación general entre cantidades. Una de las fórmulas más famosas es la de Albert Einstein, sobre la teoría de la relatividad, E = mc2.

Expresión En programación, una expresión es una combinación de constantes, variables o funciones, que es interpretada de acuerdo a las normas particulares de precedencia y asociación para unlenguaje de programación en particular. Como en matemáticas, la expresión es su valor evaluado, es decir, la expresión es una representación de ese valor. Ejemplo Expresión lógica: x OR y, NOT x,...

Constante En general, una constante es un valor de tipo permanente, que no puede modificarse, al menos no dentro del contexto o situación para el cual está: geometría aritmética Ejemplo X=5, A = 8

PROPOSICIÓN Es un oración que es verdadera o falsa, pero no verdadera y falsa a la vez Ejemplo Niel Armstrong camino sobre la luna Si la oración es una pregunta o una orden, o si es demasiado imprecisa ( o de carecer de sentido), entonces no se puede clasificar como verdadera o falsa, así si que no se llama preposición 3 + 2 = 7 El Pato Donald es presidente !Márchate! 3 + x =7 ¿Qué estas asiendo?

PROPOSICIONES O ENUNCIADOS LOGICOS Un proposición o enunciado es el significado de cualquier frase declarativa(o enunciativa) que pueda ser o verdadera(V) o falsa(F) como los valores verdaderos del enunciado. Algunos enunciados son enunciados compuestos, es decir, están integrados por sub-enunciados y varias conectivas. A las preposiciones o enunciados se les puede asignar inequívocamente uno de los dos valores de verdad: “1” si es verdadera, o “0” si es falsa. Por este motivo se le denomina lógica binaria

PROPOSICIONES SIMPLES O COMPUESTAS Las proposiciones simples: Son aquellas proposiciones que no se pueden dividir. Ejemplos: El cielo es azul. Las proposiciones compuestas: Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplos: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jóvenes o universitarios. Si el miércoles próximo me saco la lotería entonces te regalare un auto.