Beruflich Dokumente
Kultur Dokumente
,
i"3licacin "aterial
i"3lica] si
entonces
lgica 3ro3osicional
A B signiCica: si A es verdadero entonces B es verdadero ta"bin] si A es
Calso entonces nada se dice sobre B
5 3uede signiCicar lo "is"o que , o 3uede ser usado 3ara denotar Cunciones,
co"o se indica "Ts aba:o
x = 2 xa = # es verdadera, 3ero xa = # x = 2 es, en general, Calso A[q
que x 3odr9a ser &2B
[editar]
-
equivalencia "aterial si [ slo si] ssi lgica 3ro3osicional
A B signiCica: A es verdadera si B es verdadera [ A es Calsa si B es Calsa
x $ % = y $ 2 x $ 3 = y
[editar]
cuantiCicacin universal
3ara todos] 3ara cualquier] 3ara
cada
lgica de
3redicados
x: PAxB signiCica: PAxB es verdadera 3ara cualquier x
n N: na Q n
[editar]
cuantiCicacin
eZistencial
eZiste
lgica de
3redicados
x: PAxB signiCica: eZiste 3or lo "enos un x tal que PAxB es verdadera
n N: n $ % = 2n
[editar]
:
tal que
lgica de
3redicados
x: PAxB signiCica: eZiste 3or lo "enos un x tal 0.e PAxB es verdadera
n N: n $ % = 2n
[editar]
%
Teora de con1.ntos
Smbolo Nombre se lee como Categora
[editar]
2 , 3
deli"itadores de con:unto el con:unto de
teor9a de
con:untos
;a,b,c< signiCica: el con:unto consistente de a, b, [ c
N = ;4,1,2,<
[editar]
2 : 3
2 4
3
notacin constructora de
con:untos
el con:unto de los ele"entos tales
que
teor9a de
con:untos
;x : PAxB< signiCica: el con:unto de todos los x 3ara los cuales PAxB es
verdadera ;x = PAxB< es lo "is"o que ;x : PAxB<
;n N : na N 24< = ;4,1,2,3,#<
[editar]
23
con:unto vac9o con:unto vac9o
teor9a de
con:untos
;< signiCica: el con:unto que no tiene ele"entos] es la "is"a cosa
;n N : 1 N na N #< = ;<
[editar]
"e"bres9a de con:untos
en] estT en] es ele"ento de] es
"ie"bro de] 3ertenece a
teor9a de
con:untos
a S signiCica: a es ele"ento del con:unto S] a S signiCica: a no es ele"ento
del con:unto S
A1-2B
&1
N] 2
&1
N
[editar]
subcon:unto es subcon:unto de
teor9a de
con:untos
A B signiCica: cada ele"ento de A es ta"bin ele"ento de B
A B signiCica: A B 3ero A b B
A > B A] 5 6
[editar]
1'
[editar]
Tabla de Smbolos
Yn "ate"Ttica, eZiste un con:unto de s9"bolos que son Crecuente"ente utili^ados en la
Cor"acin de eZ3resiones "ate"Tticas oebido a que los "ate"Tticos estTn
Ca"iliari^ados con estos s9"bolos, los "is"os no requieren ser eZ3licados cada ve^ que
se utili^an
Yn vista de esto, 3ara beneCicio de los "ate"Tticos novatos, la tabla siguiente lista
"uc\os de estos s9"bolos co"unes, :unto con su no"bre, 3ronunciacin [ el ca"3o de
las "ate"Tticas con el que se relacionan !dicional"ente, la segunda l9nea contiene una
deCinicin inCor"al, "ientras que la tercera 3rovee un e:e"3lo breve
1+