5

Click here to load reader

LóGica Proposicional3

Embed Size (px)

Citation preview

Page 1: LóGica Proposicional3

SEMANA

JUAN AL 

Represen

conectivo

1. Arist

2. Rosa e

p: Ros

q: Ros

( p

p Δ

p

p Δ

3. Si A

mecá

Luego

P : Alb

2 VIERNE

LEJANDRO

p

ntar simbó

os lógicos.

tóteles es

es soltera

sa es solte

sa es casa

q ) ~

Δ q : o p

p (p

Δ q (p

lberto n

nica o s

o, si Albe

berto ing

S 23 DE O

O ROSALES

ólicamente

s filósof

o casada p

era

ada

(p q)

p o q

p q )

q ) (

no ingres

se hará

erto ingr

gresa a la

{[~ p

OCTUBRE D

S CORONE

p Δ

e las siguie

o pero E

p q

pero no pu

(~p ~q

sa a la

comerci

resa a la u

a univers

(q Δ

DE 2009

EL

q

Δ q

equivalenlógica

entes prop

instein e

uede ser a

)

universi

iante. A

universid

sidad

r)] ~

ncias as

posiciones

es físico.

ambas cosa

dad ent

lberto n

dad, no se

r }

y usar co

as a la vez

onces o

no se ha

e dedica

(p ~

GRU

D

onveniente

z.

se ded

ará come

a la mec

~ q)

UPO IDAT

DELEGADO

emente los

dica a la

erciante.

cánica.

T

O

s

a

.

Page 2: LóGica Proposicional3

SEMANA

JUAN AL 

Si Alb

hará c

mecán

4. El sat

Satéli

impuls

2 VIERNE

LEJANDRO

berto no i

comercian

nica.

télite entr

te no cae

sor.

S 23 DE O

O ROSALES

ingresa a

te. Luego,

[~ p

ra en órb

al mar. Po

OCTUBRE D

S CORONE

la Univers

, si Albert

(q Δ r

bita, o, si

or ello el

DE 2009

EL

sidad, ent

to ingresa

r)]

falla el m

satélite e

tonces o s

a a la univ

(p ~

mecanismo

entra en ór

se dedica

versidad, n

~ q)

o impulsor

rbita o no

GRU

D

a la mecá

no se ded

r, caerá a

o falla el m

UPO IDAT

DELEGADO

ánica o se

dicara a la

al mar. El

mecanismo

T

O

e

a

l

o

Page 3: LóGica Proposicional3

SEMANA

JUAN AL 

NOTA:

HALLAR

a) (2 + 5 F

b) (√2 -

c) (8

d) ( 0! V

EJ 1

2 VIERNE

LEJANDRO

C

1) Se r

expr

2) Det

3) Res

( ) ,

EL VALO

5 = 5 ) F

√1 = 1) Δ F

4 2 F

1) pero

S 23 DE O

O ROSALES

CONSTR

recomiend

resión par

terminar e

solver en o

, [ ], { }, ~

OR DE VER

( (-1

Δ ( 2-3 = V

1 ) |-2

2 no es p F

p q (

V V

V F

F V

F F

OCTUBRE D

S CORONE

RUCCIÓN

da observa

ra hacer la

en qué ope

orden Jerá

~

RDAD DE:

1)3 + 4 = 5 F

)

2| 2 V

primo F

( p q )

V

F

F

F

1

DE 2009

EL

N DE TA

ar cuantas

as combina

rador lógi

árquico a l

:

5 )

V

V

) ~ [

F F

V F

V F

V V

5

ABLAS D

proposicio

aciones.

co esta la

os conect

V

[ p (

V V

V V

F V

F F

3 4

Rta.

DE VERD

ones simpl

columna d

ivos como

( p ~ q

V

V

F

V

2

GRU

D

DAD

les tiene l

de resulta

también e

q )]

UPO IDAT

DELEGADO

a

dos

en orden:

T

O

Page 4: LóGica Proposicional3

v ~ F  

p V  

       

SEMANA

JUAN AL 

EJ 2

EJ 3

v v p q

F V V

~ q F

 V

2 VIERNE

LEJANDRO

p q

V V

V F

F V

F F

S 23 DE O

O ROSALES

[( ~ p

p q r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

OCTUBRE D

S CORONE

p q )

F F

F F

V V

F V

1 3

[( p

V

V

F

F

F

F

F

F

1

DE 2009

EL

~ p ]

F

F

V

V

2

q )

V F

V V

F V

F V

F V

F V

F V

F V

3

R

[ ~ p

V F

V F

V V

V V

8 4

~ r ]

F F

V V

F V

V V

F V

V V

F V

V V

2

Rta. 

Rta. 

p ~ (

V V

V F

V V

V V

7 6

~ ( p

F V

F V

F V

V F V

F V

V F

F V

V F

5 4

GRU

D

( p ~ q

F

V

F

F

5

r )

V

V

V

V

F

V

4

UPO IDAT

DELEGADO

q )]

T

O

Page 5: LóGica Proposicional3

SEMANA

JUAN AL 

En una gu

a) To

b) Un

c) nin

d) La

e) Me

Juan dice

semana. S

a) Ma

b) Jue

c) Vie

d) Sá

e) N.

2 VIERNE

LEJANDRO

Muerra muri

dos

o

nguno

mitad

e doy

e la verdad

Si Juan dic

artes

eves

ernes

bado

A.

S 23 DE O

O ROSALES

M T eron, Tod

d los días

ce mañana

OCTUBRE D

S CORONE

os menos

lunes, mié

a diré la ve

DE 2009

EL

los que mu

ércoles y v

erdad ¿Qu

M

2

M

M urieron ¿C

viernes pe

ué día era

= T – M

2M =T

M =

Cuántos mu

ro miente

cuando dij

GRU

D

urieron?

e en otros

jo esto?

UPO IDAT

DELEGADO

días de la

T

O

a