Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Capitulo 1 MD

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 18

Capítulo 1

Lógica Proposicional
Parte 1
Carlos Diego Ferrin Bolaños
Ing., M.Sc., Ph.D. (c)

Facultad de Ciencias Básicas e Ingeniería:


Programa de Ingeniería de Sistemas
Agenda

1. Lógica Proposicional
2. Operadores Lógico: Conjunción y
Disyunción

2
Tarea de la Lógica

• Determinar la falsedad o verdad de una premisa es


tarea de la ciencia en general

• El lógico no está interesado en la verdad o falsedad


de las proposiciones sino en las relaciones lógicas
entre ellas, es decir, la validez de los argumentos
en que pueden aparecer.

• La lógica nos da los elementos para afirmar sobre


la validez de un argumento

3
Tarea de la Lógica

Lógica es el estudio del razonamiento; se refiere


específicamente a si el razonamiento es correcto. La
lógica se centra en la relación entre las afirmaciones y
no en el contenido de una afirmación en particular.

4
Tarea de la Lógica

Una proposición lógica es una oración: sujeto


y predicado que puede ser verdadero o falsa
pero no amabas a la vez

5
Ejemplos

¿Cuáles oraciones de la a) a la e) son verdaderas o falsas (pero no ambas)?

a) Los únicos enteros positivos que dividen a 7 son 1 y el mismo 7.

b) El maestro Roshi derrotó a Freezer en Dragon Ball Z.

c) Para todo entero positivo n, existe un número primo‡ mayor que n.

d) La Tierra es el único planeta en el universo que tiene vida.

e) Compra dos boletos para el concierto de rock “Unhinged Universe” del


viernes.

6
Ejemplos

La oración a), que es otra manera de decir que el 7 es primo, es verdadera.

La oración b) es falsa. Esto lo sabemos quienes vimos Dragon Ball Z.

La oración c), que es otra forma de decir que el número de primos es


infinito, es verdadera.

La oración d) puede ser verdadera o falsa (pero no ambas), sin embargo en


este momento se ignora.

La oración e) no es verdadera ni falsa [esta oración es una orden].

7
Definición

Una oración que es verdadera o falsa, pero no ambas, se llama


una proposición.

Las oraciones a) a la d) son proposiciones, mientras que la


oración e) no es una proposición.

Es común que una proposición se exprese como una oración


declarativa (y no como pregunta, orden, exclamación, etcétera).

Las proposiciones son los bloques básicos de construcción de


cualquier teoría de lógica.

8
Definición

Se usarán variables, como p, q y r, para representar las


proposiciones, casi como se usan letras en álgebra para
representar números. También se usará la notación

p: 1 +1 = 3
q: Juan es alto
r: f(x) es una función creciente
9
Operaciones Logicas

Al hablar y escribir de forma normal, las proposiciones se combinan usando


conectores como y y o. Por ejemplo, las proposiciones “está lloviendo” y
“hace frío” se pueden combinar para formar la proposición “está lloviendo y
hace frío”. Acontinuación se dan las definiciones formales de y y o.

Sean p y q proposiciones.

La conjunción de p y q, denotada por p ∧ q, es la proposición p y q.

La disyunción de p y q, denotada por p ∨ q, es la proposición p o q.

10
Operaciones Logicas

Al hablar y escribir de forma normal, las proposiciones se combinan usando


conectores como y y o. Por ejemplo, las proposiciones “está lloviendo” y
“hace frío” se pueden combinar para formar la proposición “está lloviendo y
hace frío”. Acontinuación se dan las definiciones formales de y y o.

Sean p y q proposiciones.

La conjunción de p y q, denotada por p ∧ q, es la proposición p y q.

La disyunción de p y q, denotada por p ∨ q, es la proposición p o q.

11
Operaciones Logicas

Ejemplo:

Si

p: Un milenio tiene 100 años,


q: Un milenio tiene 1000 años,

la conjunción quedaría en forma de enunciado así:


r: p ∧ q: Un milenio tiene 100 años y un milenio tiene 1000 años

la disyunción quedaría en forma de enunciado así:


r: p ∨ q: Un milenio tiene 100 años o un milenio tiene 1000 años

12
Operaciones Logicas

Las Operaciones Logicas entre uno o más


proposiciones son definiciones (imposiciones)
sobre el valor de verdad del enunciado general
cuando las proposiciones que aparecen en la
operación toman el valor de verdadero o falso

13
Operaciones Logicas

Conjunción Disyunción

14
Operaciones Logicas

La negación de p, denotada por ¬ p, es la proposición

Algunas veces escribimos ¬ p para decir “no ocurre Negación


que p”. Por ejemplo, si

p: París es la capital de Inglaterra,

la negación de p se escribe como:


¬ p: No ocurre que París es la capital de Inglaterra.

o más fácil como:


¬ p: París no es la capital de Inglaterra.

15
Repaso

1. ¿Qué es una proposición?


2. ¿Qué es una tabla de verdad?
3. ¿Qué es la conjunción de p y q? ¿Cómo se denota?
4. Proporcione la tabla de verdad para la conjunción de p y q.
5. ¿Qué es la disyunción de p y q? ¿Cómo se denota?
6. Proporcione la tabla de verdad para la disyunción de p y q.
7. ¿Qué es la negación de p? ¿Cómo se denota?
8. Proporcione la tabla de verdad para la negación de p.

16
Ejercicios

17
Gracias
Contacto: Carlos Ferrin
e-mail: cdferrinb@
RG: https://www.researchgate.net/profile/Carlos_Ferrin

Facultad de Ciencias Básicas e Ingeniería:


Programa de Ingeniería de Sistemas

También podría gustarte