Lógica Proposicional. 2 martes, 07 de febrero de 2023 1.

Slides:



Advertisements
Presentaciones similares
UNIVERSIDAD TECNOLOGICA DE NEZAHUALCOYOTL
Advertisements

Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Lic. Carmen Aguinaga Doig
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Matemáticas Discretas
Lógica Proposicional.
DEPARTAMENTO DE FORMACIÓN GENERAL.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
Lógica proposicional.
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
Proposiciones Lógicas
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
LÓGICA PROPOSICIONAL El ser humano , a través de su vida diaria se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.)
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.
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Lógica proposicional Docente: Edgar Duarte.
LEYES DEL ALGEBRA PROPOSICIONAL
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Matemáticas Discretas
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
PROPOSICIONES PROF. LUIS MARIO DE LA CRUZ GALLEGOS.
Matemática Básica para Administradores
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.
Algebra Booleana y Compuertas Lógicas AND, OR, NOT, XOR, NAND e Identidades del Algebra Booleana.
Hecho por: Daniel Rosero Luis Cambo Byron Centeno
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.
LOGICA Y MATEMATICA COMPUTACIONAL
UNIVERSIDAD INCA GARCILASO DE LA VEGA
Conectores Lógicos Los conectivos lógicos son símbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Los conectivos son:
Autor: Rubén Montero Diez Asig: Lógicas para la Informática y la IA
UNIDAD 1 LÓGICA MATEMÁTICAS.
PROPOSICIONES EQUIVALENTES
Curso gratuito de lógica proposicional
CONDICION NECESARIA O SUFICIENTE
UNIVERSIDAD NACIONAL DE CHIMBORAZO Unidad de Nivelación y Admisión
Lógica de Proposiciones y Predicados
Conjunción: ^ . (También: ·, & )
Proposiciones Matemáticas
SESIÓN 1 LÓGICA PROPOSICIONAL
Lógica Proposicional.
EXPRESIONES Una expresión es una forma especial de asignación.
Cálculo Lógico.
Alumno: Cesar Raúl Onofre Segura Grupo: 01 Matricula:
Lógica de enunciados (o lógica proposicional). Ejemplos de enunciados Cuba es una isla en el Pacífico = 4 Vicente Fox es el presidente de Guatemala.
Programación Lógica.
ESTRUCTURAS DISCRETAS M. Sc. PABLO CESAR TAPIA CATACORA.
Gabriela Montalvo Mesa 9noA
ENUNCIADO, FRASE Y PROPOSICIÓN
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.
Teoría de las descripciones Bertrand Russell ( )
ESCUELAS FILOSOFICAS Y CAMBIOS PARADIGMATICOS II
Presentación P. Point del curso de Introducción a la Computación dictado por el Prof. Juan Gallo 22/11/2018 8:37 Prof. Ing.S.C. J. Gallo.
Lógica Proposicional Álgebra Superior
OBJETIVO: Aplicar los principios básicos de la Lógica a la Matemática.
APLICA APLICA TU LÓGICA… Las niñas que tienen ojos negros tienen el cabello largo. Las niñas que juegan con muñecas nunca lloran. Las niñas que no juegan.
LÓGICA DE ENUNCIADOS FORMALIZACIÓN.
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.
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.
Curso gratuito de lógica proposicional Lic. Elena Paula Camacho Trujillo.
Transcripción de la presentación:

Lógica Proposicional. 2 martes, 07 de febrero de 2023 1

Objetivos de la clase Conocer y utilizar la lógica proposicional cuantificada como una estructura algebraica.

Contenidos de la clase Los contenidos que vamos a desarrollar son: Enunciado Proposición Enunciado No Proposicional Enunciado Abierto Clases De Proposiciones

Definiciones

¿Qué es un enunciado? Se llama así a cualquier frase u oración. Por ejemplo: ¡Auxilio, me ahogo! (Exclamativa) No conversen en clase (Desiderativa) Lima es la capital del Perú (Afirmativa) ¿Qué día es hoy? (Interrogativa) Adjetivo Que expresa un deseo.

¿Qué es una proposición? Son aquellos enunciados afirmativos del cual se sabe que tiene dos valores de la verdad mutuamente excluyentes: verdadero o falso. Las proposiciones se representan por las letras minúsculas: p, q, r, s, t, .... Pero también se usa la notación: p1, p2, p3, p4, p5,.....

Ejemplo de proposición Así por ejemplo tenemos las siguientes proposiciones: · p: Sebastián Piñera es el presidente del Chile luego: v(p) = V se lee: “el valor de la verdad de p es verdadero” · q: Arturo Prat murió en Arica luego: v(q) = F se lee: “el valor de la verdad de q es falso” · p1: Caracas es la capital de Venezuela luego: v(p1) = V

Enunciados No Proposicionales Se llama así a aquellas expresiones o enunciados exclamativos, interrogativos y desiderativos. De estos no se puede saber si son verdaderos o falsos, porque no afirman ni niegan nada. Por ejemplo: ¡Uff, que calor! ¿están cansados? Escriban rápido

Enunciado Abierto X es la capital de Uruguay Se llama así a aquellos enunciados que contienen una o más variables. Estos no pueden ser ni verdaderos ni falsos, ya que no afirman nada. Ejemplos: X es la capital de Uruguay X es un planeta del sistema solar x -13 = 28 2x-7 > 25 X es una vocal

Algo más de Enunciado Abierto Sin embargo estos enunciados abiertos se pueden convertir en proposiciones verdaderas o falsas. ¿Cómo? Reemplazando la variable o variables por un nombre, palabra, número, letra o cualquier símbolo, según sea el caso. Así del primer ejemplo tenemos: X es la capital de Uruguay Si X=Buenos Aires entonces la expresión se lee: “Buenos Aires es la capital de Uruguay” Se observa el enunciado abierto se convirtió en una proposición falsa.

Tipos de Proposiciones

Simples También llamadas proposiciones atómicas o elementales, son aquellas proposiciones que tienen un solo sujeto y un solo predicado. Ejemplo: Bernardo O’Higgins nació en Venezuela George Busch fue presidente de Chile Dos al cubo es igual a ocho 3+5x2 = 12

Compuestas También llamadas proposiciones moleculares o coligativas. Se denomina así a aquellas que están constituidas por dos o más proposiciones simples. Estas proposiciones simples están unidas a través de conectivos lógicos:

Conectores lógicos Y  O  O … o  Si … entonces  ,  Si y sólo si Nombre conector Símbolo Conjunción Y  Disyunción Inclusiva O  Disyunción Exclusiva O … o  Implicancia o condicional Si … entonces  ,  Equivalencia o bicondicionalidad Si y sólo si  ,  Negación No …., no es verdad que …  , 

Aplicar Si Pablo aprueba el examen entonces haremos una fiesta. p= Pablo aprueba el examen , q= haremos una fiesta p  q 2 + 4 =10 si y solo si 3 + 4 = 11 p= 2 + 4 =10 , q= 3 + 4 = 11 p  q Alemania no es el campeón mundial de fútbol. p= Alemania es el campeón mundial de fútbol  p