Estructuras de Programacin

Conceptos Generales Lgica

Carlos Galleguillos Dub

Lgica
La lgica es la ciencia que se encarga de

exponer las leyes, razonamiento.

modos

formas

del

Trata del estudio de los mtodos y principios

utilizados para distinguir el razonamiento correcto del incorrecto.

Raciocinio
Es

una operacin por medio de la cual obtenemos un conocimiento nuevo (inferido) que parte de un conocimiento previo.

Raciocinio inductivo Se refiere a un conocimiento de los objetos

sensibles, es un tipo de razonamiento que parte de ciertas comprobaciones de la experiencia (observacin) para llegar a un punto de validez general.
3

Raciocinio
Raciocinio deductivo

Es un razonamiento que parte de un

conocimiento universal para aplicarlo en casos singulares.

Proposicin
Es un producto lgico del pensamiento que se

expresa mediante el lenguaje, siendo este lenguaje comn o mediante smbolos.

Esta proposicin puede ser verdadera o falsa,

pero no ambas a la vez.

Proposicin
Ejemplos El sol es una estrella. 4 x 5 = 21 Un gato es un mamfero y un perro no lo es. NO ES PROPOSICION

x=0

Conectividad lgica
Existen diversas formas de conectar

proposiciones entre s.
Como cada proposicin posee un valor de

verdad, la frase compuesta tendr un valor de verdad dependiente.

Conectores
Negacin ( ~ , )

) Llamado y Disyuncin ( ) Llamado o Condicional ( ) Bicondicional ( )

Conjuncin (

Conectores
Negacin.

De esta forma se invierte el valor de verdad de

una proposicin. Se utiliza los smbolos ~ , ~p, p Se expresa en la siguiente tabla de verdad.

P V F
9

~p F V

 Ejemplo. P: El sol es amarillo. ~ P: El sol no es amarillo.

10

Conectores
Conjuncin.

Este operador es verdadero si ambas

proposiciones son verdaderas.

Se denota en la siguiente tabla de verdad.

P V V F

Q V F V

P V F F

F
11

Conjuncin
Ejemplo.

P: El sol es amarillo.

(Verdad) Q: El sol es una estrella. (Verdad)

P

Q es verdad.
P V V F Q V F V P V F F Q

F
12

Ejercicio
Construir la tabla de verdad de la siguiente

proposicin compuesta.

~( p
P V V F F Q V F V F

~q )
P V F F F

P V F
Q

~p F V

13

~( p
P Q ~Q P

~q )
~Q ~(P ~Q)

V V V F F V F F
14

F V F V

F V F F

V F V V

P V F

~P F V

P F F

~P

15

Ejercicios
Determinar el grado de verdad de las siguientes

proposiciones:

16

( p q) (p p
(~p

q ) ~q q) (p

q) (q

r r)

Ejercicios

~q ) ~q p ~( Verdadero Falso )
~(~p

( Verdadero
17

p)

~q

 Conector y CONJUNCION

CONMUTATIVIDAD
P

ASOCIATIVIDAD P (Q R

NEUTRO P

R)

(P

Q)

VERDAD =

COMPLEMENTO
18

~P = FALSO

19

Conectores
Disyuncin

Este operador es falso solo si ambas

proposiciones son falsas.

Se denota en la siguiente tabla de verdad.

P V V F

Q V F V

V V V

F
20

 Ejemplo.

P: El sol es amarillo.

(Verdad) Q: La luna es una estrella. (Falso)

P

P V V F

Q es Verdad.
Q V F V P V V V Q

F
21

Conectores
Condicionalidad o Implicancia.

Se establece una condicin del lado izquierdo

para que se cumpla la proposicin del lado derecho

Condicionalidad. P Q : Si se cumple P entonces se cumple

22

Conectores
La condicionalidad se denota en la siguiente

tabla de verdad.
P V V F F Q V F V F P
V F

V V

23

 Ejemplo.

P: El sol es amarillo.

(Verdad) Q: La luna no es una estrella. (Verdad)

PQ

es Verdad.
P V V F Q V F V P V F V Q

F
24

Ejercicios
( p ~q )

~p ( p ~ q ) ~p ~q
[ ( p q ) r ] [ q r ] ~(5<7)( 5>7

5=7)

25

 ( p

q ) p p (~ p q )

Si p y r son proposiciones verdaderas y q es

falsa. Cual es el valor de verdad de la proposicin compuesta? [( p q) r] q [ ( p ~q ) r ] [ q r ]

26

 Si p = Hace fro y q = Est lloviendo, escribir en

un enunciado verbal tradicional, las siguientes proposiciones:

a) p c) p q

e) p q
g) p q i) (p q) p

b) p q d) q p f) q p h) p q

27

 Conector DISYUNCION
CONMUTATIVIDAD

ASOCIATIVIDAD P (Q R)
NEUTRO P

(P

Q)

FALSO =

COMPLEMENTO P ~P = VERDAD
DISTRIBUTIVA con respecto a la CONJUNCION
28

( Q

R)

= ( P

Q)

( P

R )

Ejercicios
Dadas las siguientes proposiciones: p : a es un nmero par r : a es un mltiplo de 6

q : a es un nmero par s : a < 10

Escriba con smbolos las siguientes proposiciones compuestas: a) a es un nmero par pero no es menor que 10 b) Si a es un nmero par, entonces a es par c) a es impar o mltiplo de 6 d) Si a es par pero no es mltiplo de 6, entonces a no es menor

que 10 a es un nmero par

e) Para que a sea un mltiplo de 6, a debe ser par
29

Ejercicios
Si p q es verdadera y p r es falsa, determine

el valor de verdad de la proposicin ( ( r q ) ( rq))

(( p q ) ( p q )) (( p q ) ( p q )) (( p q) ( q p )) Demuestre sin usar tablas de verdad que la

30

siguiente proposicin es lgicamente verdadera: (( p q ) ( q p ))

31

Conectores
Bicondicionalidad

Es aquel conectivo de la forma se cumple p si y

solamente si se cumple q. Y tambin su forma inversa.

P V

Q V

P Q V

V F F
32

F V F

F F V

 Ejemplo.

P: El sol es amarillo.

(Verdad) Q: La luna no es una estrella. (Verdad)

PQ

es Verdad.

33

 Ejemplo.

P: El sol no es amarillo.

(Falso) Q: La luna es una estrella. (Falso)

PQ

es Verdad.

34

Finalmente.
Precedencia de operadores lgicos
NOMBRE OPERADOR

Negacin. Conjuncin Disyuncin Condicionalidad

Bicondicionalidad
35

Ejercicios
Resolver por medio de una tabla de

verdad. (( p q ) p ) q (( p q ) ( q r )) ( p r ) ( p q ) ( p q ) ( q p ) (( p r ) q )) ( p ( r q ))

36

Ejercicios
Resolver por medio de una tabla de

verdad. (( p p ) ( p p )) ( ( p q ) ( p q )) (( p q ) ( p q ))

37

Ejercicios
Resolver por medio de una tabla de

verdad [( p ( q r ) ] [ ( p q ) ( p r ) ]
[( p r ) q ) ] [ p ( r q ) ] [( p q ) ( p r )] [ p ( q r )]
38

[( p q ) ( p q )] q

Demostraciones
Demostrar por medio de Tabla de verdad:

~(pq)

~ p ~q

~(p q) ~p ~q ( P q ) ~p q ( P q ) ( q p ) ( p q) P ( p q) p
39