CONECTIVOS LOGICOS.

Slides:



Advertisements
Presentaciones similares
Lógica de proposiciones
Advertisements

LOGICA Y DEMOSTRACIONES
equivalencia material; y b) equivalencia lógica
Proposición Atómica: Cuando se puede representar con una variable proposicional. Entre sus signos no contiene ningún conectivo lógico Proposición molecular:
PRUEBAS DE VALIDEZ E INVALIDEZ
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
LOGICA Y DEMOSTRACIONES
Razonamiento Lógico Matemático
LÓGICA PROPOSICIONAL.
PROFESOR: JAIME H. QUISPE CASAS TEMA : CONECTIVOS LÓGICOS
Mtra. Carolina Galaviz Inzunza Matemática Discreta
CARLOS ANDRES MONTENEGRO
Sesión 5.- Unidad I. Lógica Mtra. Carolina Galaviz Inzunza Matemática Discreta.
Álgebra I Prof: Haroldo Cornejo Olivarí.
Curso de Matemática Propedeútica
CAPÍTULO I LÓGICA Y CONJUNTOS.
LOGICA.
I.E.Entrerrios Lógica Proposional Prof. Robinson Usma B
Lógica Proposición Ejemplos
Estructuras de Control
UBA XXI.
Los problemas semánticos de las expresiones del Lenguaje Proposicional
Fundamentos de Lógica ¿Qué es una proposición?
Lógica Proposicional.
DEPARTAMENTO DE FORMACIÓN GENERAL.
UNIVERSIDAD POLITÉCNICA DE PACHUCA MAESTRÍA EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIONES Matemáticas Discretas M. en C. Arturo Lezama León Maestría.
INSTITUCION EDUCATIVA LAS FLORES
Aporte de la Lógica a la Matemática
Sistemas de Numeración
Lógica de Proposiciones
Tablas de verdad Mgr. Germán Jorge Pérez.
M.I.C. Héctor E. Medellín Anaya
LÓGICA DOCENTE: PATRICIA ISABEL AGUILAR INCIO. CICLO 2012– I.
LÓGICA PROPOSICIONAL.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Evalúa el valor de verdad de dos o mas condiciones y si todas son verdaderas devuelve VERDADERO, en caso contrario FALSO.
Lógica Proposicional Profesor: Amador Alejandro Gonzáles Piscoya
LÓGICA PROPOSICIONAL Y PREDICADOS
Lenguaje y razonamiento matemático
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.)
(o lógica proposicional)
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.
Curso de Teoría del Autómata
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.
Tablas de verdad.
Práctica especificación 1 Lógica proposicional
Estrategias Heurísticas
CÁLCULO PROPOSICIONAL
Matemáticas Computacionales
Preposiciones compuestas
Fundamentos de la Lógica
LÓGICA PARA LA SOLUCIÓN DE PROBLEMAS
Una proposición es un enunciado u oración declarativa
LA PROPOSICIÓN ESCUELA DE OFICIALES PNP
Expresiones Reglas de prioridad o precedencia
Lógica Proposicional.
FORMAS ARGUMENTALES COMUNES
Programación para Ingenieros I IIS
Matemáticas Discretas
RAZONAMIENTO LÓGICO LÓGICA MATEMÁTICA.
int cantidad, horas, cuota; float precio, peso; cantidad = 5; // Le asigno un número a la variable Cantidad; horas = // Le asigno 30 a la variable.
LSIA. Carolina Galaviz Inzunza Curso: Matemática Discreta
NOTA  La disyunción se compone en inclusiva o exclusiva Disyucion Inclusiva Or Exclusiva Xor.
Matemática Básica para Administradores
Enunciados Simples Enunciados Compuestos Sistemas Tautológicos
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.
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.
Transcripción de la presentación:

CONECTIVOS LOGICOS

Negación (~) p: Los hombres son mortales V F p: Los hombres son mortales ~p: Los hombres no son mortales ~p: Los hombres son inmortales No es cierto que ... Nadie que sea ... Jamás ... Es falso que... No es el caso que ... Es inconcebible que... Nunca ... No es verdad que Es imposible que ... No ocurre que... Es absurdo que Es erróneo que ... Es mentira que ... No acaece que... De ningún modo … No es el caso que… Es inadmisible que… Es incierto que… Es refutable que… Es falaz que… En modo alguno…

Conjunción (٨) La impresora para imprimir necesita energía q p  q V F Conjunción (٨) La impresora para imprimir necesita energía electrica y tener tinta. p: La impresora para imprimir necesita energía electrica q: La impresora para imprimir necesita tener tinta p  q …A pesar de… …Así mismo… …No obstante… Del mismo modo Es compatible con …Aunque… …Además… Tanto …. como …. …Más aún… …A la vez… Siempre ambos…. con….. …También… …Incluso… No sólo….sino también…. …Al igual que… …Sin embargo.. …De la misma forma que… …Aún cuando… …Así como… ….con …. los dos a la vez …Pero…

Disyunción Débil (v) Yo tengo un terno azul o tengo un terno negro. p q p  q V F Disyunción Débil (v) Yo tengo un terno azul o tengo un terno negro. p: Yo tengo un terno azul q: Yo tengo un terno negro p  q …A menos que… …O en todo caso… …Excepto que… …O también… …Salvo que… …O incluso… …A no ser que… …O bien… Y bien… o también.. Al menos uno de los dos …. o …. …O sino … …Alternativamente…

Disyunción Fuerte () O estoy en Perú o estoy en Brasil. q p  q V F Disyunción Fuerte () O estoy en Perú o estoy en Brasil. p: Estoy en Perú. q: Estoy en Brasil. p  q Salvo que .... o .... ... no equivale a ... ....no es lo mismo que... No es cierto que...equivale a... No es equivalente ... con ... O solo .... o solo .... ....a menos que solamente... ...salvo que únicamente... ....excepto que sólo.... ....o bien necesariamente.... ....o exclusivamente.... ....no es idéntico a.... O bien ... o bien ... O ... o ...

Condicional () Si llueve entonces mejoran las cosechas p: llueve. q p q V F Si llueve entonces mejoran las cosechas p: llueve. q: mejoran las cosechas. p  q Si p, entonces q p por tanto q Siempre que p entonces q p por consiguiente q p es suficiente para q p por ende q p implica q p por conclusión q Ya que p bien se ve que q Dado que p por eso q En cuanto p por tanto q Porque p por eso q

p q p  q V F Bicondicional () Los cuerpos chocan si y solo si existe una fuerza que los atrae p: los cuerpos chocan. q: existe una fuerza que los atrae. p  q …siempre y cuando… q Es suficiente para que suficiente sea p …es equivalente a… q Es condición necesaria y suficiente para p …es lo mismo que… …por lo cual y según lo cual… …cuando y sólo cuando… …cada vez que y sólo si… Si y sólo si p, q …si de la forma… …siempre que y sólo cuando… …implica y está implicado por… …es idéntico a… Siempre que … y siempre que …