Conectores Lógicos Los conectivos lógicos son símbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Los conectivos son:

Slides:



Advertisements
Presentaciones similares
Fundamentos de Lógica ¿Qué es una proposición?
Advertisements

LÓGICA PROPOSICIONAL.
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Ejemplo de la interpretación de las variables proposicionales. Sea la expresión: p Interpretación Es el caso de que ocurre el hecho de que p Es el caso.
Matemáticas Discretas
Fundamentos de Lógica ¿Qué es una proposición?
Aporte de la Lógica a la Matemática
Tablas de verdad Mgr. Germán Jorge Pérez.
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
BICONDICIONAL.
LÓGICA PROPOSICIONAL.
CONDICIONALES “SI P ENTONCES Q”.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
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.
MATEMATICA I Lógica Matemticas Prof Rubén Millán
Matemáticas Computacionales
Algebra de Boole. Objetivo Objetivo: El estudiante identificará la lógica Booleana, así como los teoremas básicos de ésta. Dominio: Desarrollo de las.
ESTRATEGIAS INNOVADORAS PARA DOCENTES EMPRENDEDORES ESTRATEGIAS INNOVADORAS PARA DOCENTES EMPRENDEDORES Prof. Ana Tasayco Muñoz.
ENUNCIADO: Es toda frase u oración que informa, expresa o dictamina alguna idea a través de afirmaciones o negaciones, preguntas, expresiones de emoción.
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Primera parte.
Tablas de Verdad.
Triángulos Profesor: Rodolfo Arias Carrasco.. Def: Se llama triángulo a una porción cerrada del plano limitada por tres segmentos Los segmentos, y se.
Función proposicional Ejemplo: p(x)= x
No existe una lógica universal. Existen diferentes sistemas lógicos, cada uno de los cuáles se ocupa del análisis de una clase particular de razonamientos.
La primera operación que vamos a tratar es la negación Tablas de Verdad Si p es verdad,  p es falso Si p es falso,  p es verdad p  p VF FV La tabla.
Universidad Técnica Federico Santa María
UNIDAD 1 LÓGICA MATEMÁTICAS.
PROPOSICIONES EQUIVALENTES
Una proposición molecular (o compuesta) se dice:
Instituto Tecnológico de Pachuca Lógica proposicional
CONDICION NECESARIA O SUFICIENTE
METODOLOGÍA DE LA PROGRAMACIÓN
Lógica de Proposiciones y Predicados
Conjunción: ^ . (También: ·, & )
Proposiciones Matemáticas
PRINCIPIOS LÓGICOS & LA INFERENCIA O RAZONAMIENTO
Decisiones y orden. Estructura if.
SESIÓN 1 LÓGICA PROPOSICIONAL
Lógica Proposicional.
Una sinfonía de Φ en clave de Seis.
Capítulo 2: Triángulos Profr. Eliud Quintero Rodríguez.
Homología Definición Dos figuras planas son homográficas cuando se corresponden punto a punto y recta a recta de modo que a cada punto y recta de una.
PRINCIPIOS LOGICOS.
Lógica de Proposiciones
clase3: instrucción if-else
Cálculo Lógico.
INTELIGENCIA ARTIFICIAL
Instrumentos de evaluacion
El carácter simbólico del ser humano: pensamiento y lenguaje
Lógica Matemática Universidad de Puerto Rico Prof. Juan L. Vélez
ESTADÍSTICA. ESTADÍSTICA La estadística es una ciencia formal que estudia la recolección, análisis e interpretación de datos, ya sea para ayudar en.
Lógica Proposicional Álgebra Superior
Metodología de la Programación
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
Clasificación de triángulos
Triángulos y Pitágoras
BICONDICIONAL.
Lógica Proposicional Álgebra Superior
BIMESTRE III UNIDAD 05.
Sistemas y Comunicaciones
Clasificación de triángulos
Matemáticas Discretas
Eduardo Cruz Pérez.
LÓGICA DE ENUNCIADOS.
LAS TRILLIZAS XXIII Olimpiada Thales.
Tabla de verdad es una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein.
Clasificación de triángulos
Lógica de proposiciones. Objetivos generales Presentar intuitivamente los principios del razonamiento lógico e introducir los conceptos de teorema y demostración.
TEMA: LOGICA PROPOSICIONAL Y EL LENGUAJE SIMBOLICO Mg. Alex Alarcón Mondragón.
Transcripción de la presentación:

Conectores Lógicos Los conectivos lógicos son símbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Los conectivos son: no; y; o (incluyente, excluyente); si… entonces…; sí y sólo sí.

Negación Se llama negación de una proposición p, a la proposición “no p”. Se denota por ~p, -p o p’. Observación: La proposición ~p es verdadera si p es falsa y, es falsa si p es verdadera. Tabla de verdad: p ~p V F Ejemplo: p: “2 + 2 = 5” ~p: “No es cierto que 2 + 2 = 5” ~p: “2 + 2 ≠ 5”

Conjunción Se llama conjunción de las proposiciones p y q a la proposición p y q. Se denota por p q. La proposición p q es verdadera sólo si p y q son verdaderas. Es falsa si al menos una de ellas es falsa. Tabla de verdad p q p q V F

Ejemplo: p: “el triángulo equilátero tiene los tres lados iguales” q: “el triángulo equilátero tiene los tres ángulos iguales” p q: “el triángulo equilátero tiene los tres lados iguales y el triángulo equilátero tiene los tres ángulos iguales” En forma más sencilla la proposición p q se enuncia: “el triángulo equilátero tiene sus tres lados y sus tres ángulos iguales”

Disyunción Se llama disyunción de las proposiciones p y q a la proposición p ó q. Se denota por p v q. La proposición p v q es verdadera sólo si al menos una de las proposiciones p ó q es verdadera y es falsa si ambas son falsas. Tabla de verdad p q p v q V F

Ejemplo: p: “2 + 3 = 4” q: “2 + 3 = 5” p v q: “2 + 3 = 4 ó 2 + 3 = 5” Se usa el o en el sentido inclusivo, que hace que la frase anterior sea verdadera.

Disyunción excluyente Se llama disyunción excluyente de las proposiciones p y q a la proposición “o p o q”. Se denota como . La proposición es verdadera sólo si las proposiciones p y q tienen diferente valor de verdad y es falsa en otro caso. Tabla de verdad p q V F

Ejemplo: p: “me estas diciendo la verdad” ~p: “me estás mintiendo” : “O me estás diciendo la verdad o me estás mintiendo” Como se mencionaba anteriormente, este “o” se usa en el sentido sentido excluyente, que hace que la frase anterior sea verdadera (se puede verificar fácilmente mediante una tabla de verdad).

Condicional Se llama condicional de las proposiciones p y q a la proposición “Si p, entonces q”. La primera proposición se llama antecedente y la segunda consecuente. Se denota por p → q y se lee: “si p entonces q” ó “p es condición suficiente para q” ó “q es condición necesaria para p”. La proposición p → q es falsa solamente si p es verdadera y q es falsa y es verdadera en cualquier otro caso.

p q p → q V F Tabla de verdad Ejemplo: p: “el sistema solar está formado sólo por astros” q: “la tierra es un astro” p → q: “si el sistema solar está formado sólo por astros, entonces la tierra es un astro”

Bicondicional p q p ↔ q V F Se llama bicondicional de las proposiciones p y q a la proposición “p si y sólo si q” ó “p es condición necesaria y suficiente para q” y se denota por p ↔ q. La proposición p ↔ q es verdadera si ambas p y q son verdaderas o falsas y, es falsa en otro caso. Tabla de verdad p q p ↔ q V F