lógica proposicional
Post on 27-Jun-2015
642 Views
Preview:
TRANSCRIPT
SEMANA
JUAN AL
LÓGICA
Es la consanálisis se Razonami Ejm 1 B
Ejm 2 a
Demostra
RAZONA
Acepta a
RAZONA
Acepta a
1 VIERNES
LEJANDRO
secuencia ea cualitat
iento
Bogotá es c
a + a = 2a
ación
a +
ax1 + a
a ( 1 +
a (2)
2a =
AMIENTO
la preposi
AMIENTO
la preposi
S 16 DE OC
O ROSALES
de un bretivo o cuan
capital de
a = 2a
ax1
1 )
= 2a
= 2a
O INDUCT
ición y la e
O DEDUCT
ición pero
R. DED
R. IND
CTUBRE DE
S CORONE
LÓGICA
ve ntitativo.
Colombia
TIVO
evalúa dire
TIVO
para evalu
DUCTIVO
DUCTIVO
E 2009
EL
PROPOSI
Axio
Axio
Axio
Axio
ectamente
uarla hay q
ICIONAL
oma del ele
oma distribu
oma de cer
oma conmu
e.
que deduc
– Razon– Análi– Verda– Pensa– Huma
AX
emento neu
utiva de la ad
rradura o c
utativa de la
cirla.
namiento sis adero amiento anos
XIOMAS
GRU
D
utro multipl
dición por la
lausura de
a multiplica
UPO IDAT
DELEGADO
licativo
a izquierda
la adición
ación
T
O
SEMANA
JUAN AL
PROPOSI
Vienen a s
Se los de
Ejm: p :
TIPOS D
a)
NO
b)
1 VIERNES
LEJANDRO
ICIONES
ser enunc
enota por m
: Excel es
DE ENUNC
Enunciado
Ejm 1
Ejm 2
Ejm 3
Ejm 4
Ejm 5
OTA:
Enunciado
Ejm 1
Ejm 2
S 16 DE OC
O ROSALES
p
LÓGICAS
iados, fras
medio de v
un Progra
CIADOS
os cerrad
Ida
2 <
Las
¡Ec
¿Cu
Aquellos e¡Viva el Psigno de ihora sales
os Abiert
x <
Ros
CTUBRE DE
S CORONE
S
ses u orac
variables p
ama : P
dos: son aqu
proposi
at es una i
< 1 (F)
s PC están
ha muni!
uál es tu n
enunciadoerú! ¡Arribinterrogacs?, no son
os
< 7
sa es enfe
E 2009
EL
ciones veri
preposicion
uellos que
ción lógica
nstitución
cansadas
XPL
ombre?
s que no tba Alianzación ¿Cuál proposicio
ermera
X
X
itativas co
nales.
me indica
a.
n peruana (
XPL
XPL
tengan sena! o que se es tu nomones lógic
X = 1
X = 7
on sentido
an si estos
(v)
ntido, queean pregumbre? ¿Quas.
1 < 7 (V)
7 < 7 (F
GRU
D
completo.
s son o no u
e sea exclantas que cué hora es
)
F)
UPO IDAT
DELEGADO
.
una
amacionescontengans? ¿A qué
T
O
s n é
SEMANA
JUAN AL
(
c)
Variables
Valor de
CLASES
1. Sim
So
pre
ej.
ej.
2. Com
So
de
ej.
ej.
1 VIERNES
LEJANDRO
-1,0)
Variables
X2 + Y2 =
s proposic
verdad. (
DE PROPO
mples o at
n aquellas
edicado.
Unix e
El mult
mpuestas
n aquellas
conectivo
Unix e
Si m e
1
S 16 DE OC
O ROSALES
y
(0,1
s
1
cionales (p
(V o F), (1
OSICION
tómicas o
proposici
es un siste
titester e
o molecul
que conti
os lógicos.
es un siste
es par y n e
1
1
1
CTUBRE DE
S CORONE
1)
(1
, q, r, s,….e
o 0)
NES LÓGI
elementa
ones que c
ema operat
es un dispo
lares
enen dos o
ema operat
es entero
1
1
E 2009
EL
x 1,0)
etc.)
ICAS
ales
constan ge
tivo
ositivo elec
o más prop
tivo y Wor
entonces
eneralmen
ctrónico
posiciones
rd es un so
(n) m es po
Campo
x
y
Si: x
y
(0)2 + (
=
te de un s
s simples e
oftware
ositivo
os o recor
Є [ -1 , 1
Є [ -1 , 1
x = 0
y = 1/2
)2 = 1
1 (F)
GRU
D
solo sujeto
enlazadas
rridos
1 ]
1 ]
UPO IDAT
DELEGADO
o y un solo
por medio
T
O
o
o
SEMANA
JUAN AL
VALOR D
Es el calif
OPERADO
( ~, ,
Son símbo
OPERACI
1) NEGA
Dada
negaci
Tabver
Ejm:
P: Ro
~p: Ro
~p: Ma
~p: No
~p: Es
~p: No
~p: No
1 VIERNES
LEJANDRO
DE VERDA
ficativo qu
ORES LÓG
, ,
olos que se
IONES LÓ
ACION: (~
una propo
ión será fa
bla de rdad
osa estudia
osa no estu
atemática
o estudia m
s falso que
o es cierto
o es cierto
S 16 DE OC
O ROSALES
p
V F
AD
ue se le da
GICOS
, ,
e utilizan
ÓGICAS
~,~,≈ )
osición p s
alsa y visiv
a Matemát
udia matem
no estudi
matemátic
e Rosa estu
o que Rosa
o que mate
P
V
F
CTUBRE DE
S CORONE
~ p
F V
a a una pro
, )
para enlaz
su negació
versa.
tica.
mática.
a Rosa.
ca Rosa.
udie mate
a estudie m
emática es
P a
V ON
F OF
E 2009
EL
oposición s
zar dos pr
ón será ~
mática.
matemátic
studie Ros
P
N 1
F 0
CIRCUI
según esta
oposicione
~p; signific
ca.
sa.
ITO DIGI
CIRC
a sea verda
es simples
ca que si
ITAL
CUITO LÓ
GRU
D
adera o fa
.
p es verd
ÓGICO
UPO IDAT
DELEGADO
alsa.
dadero su
T
O
u
SEMANA
JUAN AL
2) LA CO
Su sig
p y q d
Otros
t.
Ejm 1 :
3) LA DI
Dadasla cual
t.
Ejm 1 :
1 VIERNES
LEJANDRO
p qV
p
p qV
ONJUNCI
gnificado g
denotada p
coligador
v.
Word
ISYUNCIÓ
s dos propol será fals
v.
2 < 3
S 16 DE OC
O ROSALES
pVVFF
p
q F
F
*
pVVFF
q
q F
V
*
IÓN ( )
general es
por “p q”
res de la c
d es un pr
ÓN INCLU
osiciones psa solo si a
o 20 ≠
CTUBRE DE
S CORONE
p q p V V V F F V F F
VFFF
p q p V V V F F V F F
VVVF
s y, dada d
, la cual se
onjunción
rograma
USIVA O
podemos gambas son
1.
E 2009
EL
q V F F F
q V V V F
V
dos propos
erá verdad
son: como
y Google
O DEBIL (
generar la falsas.
q
siciones p
dera solo s
o, pero, ad
e es part
)
expresión
odemos ge
si ambas s
emás, ni y
e hardwa
n “p o q”, d
GRU
D
enerar la
on verdad
más.
are.
denotado p
UPO IDAT
DELEGADO
expresión
eras.
por p q,
T
O
n
,
SEMANA
JUAN AL
Ejm 2 :
4) LA DI
Dadasdenota
t.
Ejm 1 :
Ejm 2 :
1 VIERNES
LEJANDRO
p qV
Madr
ISYUNCIÓ
s dos proado por “p
v.
o bie
La vac
S 16 DE OC
O ROSALES
q F V
pVVFF
p
* *
p Δ q V V
rid está e
ÓN EXCLU
oposicionesp Δ q”, la c
en 2 < 3
ca o es u
CTUBRE DE
S CORONE
p q p ΔV V V F F V F F
FVVF
F
en España
USIVA O
s podemocual será v
3 o bie
un cuadrú
E 2009
EL
Δ q F V V F
q
a o Franc
O FUERTE
s generarverdadera
en 20 ≠
úpedo o e
p ΔV
cia.
( Δ )
r la exprsolo si una
1
es un mam
VΔ q F
resión “o a de ellas
:
mífero.
GRU
D
V
bien p oes verdad
UPO IDAT
DELEGADO
o bien q”,dera.
T
O
,
top related