Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

Mates discretas > Predicados > Flashcards

Predicados Flashcards

1
Q

¿Qué es un predicado?

A

una sentencia declarativsa que contiene un número definido de variables y que se vuelve en una proposición cuando las variables son sustituidas por valores

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

¿Cuál es el dominio de un predicado?

A

el conjunto de todos los valores que pueden ser sustituidos en las variables

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

¿Con que describe una propiedad las sentencias declarativa?

A

notación de funciones

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

La lógica de predicados o logica de primer orden es una extensión de

A

la lógica proposicional

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

afirmacion universal

A

A(al reves)x

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

afiirmación existencial

A

E(al reves)x

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Como es la negación de una declaración universal?

A

¬(Axed,Q(x)) = ExeD,¬Q(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

¿Qué es la prueba por vacuidad?

A

Cuando una afirmación es verdadera, por lo tanto su negación es falsa

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

AxEy

A

para cada x en A existe un y en B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

ExAy

A

Existe un x en A tal qye para cualquier y en B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

AxEyP(x,y)

A

(P(x,x) v P(x,y)) ^ (P(y,x) v P(y,y))

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

ExAyP(x,y)

A

(P(x,x) ^ P(x,y)) v (P(y,x) ^ P(y,y))

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

¿Que se hace cuando no es posible construir un argumento válido para un conjunto de premisas y una conclusión?

A

construir una interpretación donde las hipotesis y la conclusipon formen un argumento invalido

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

¿Qué es el error inverso?

A

la afirmación del consecuente

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Las equivalencias y reglas de inferencia vistas en la lógca proposicional siguen siendo validas en

A

la logica de predicados

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

¿Cual es la diferencia entre la logica proposicional y la logica de predicados?

A

el concepto de predicado y el de cuantificador

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

¿Como se llama el elemento x para el cual Q(x) es falsa en el cuantificador unicersal?

A

contraejemplo

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

r(x) es condicion suficiente para s(x)

A

r(x) -> s(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

r(x) condicion necesaria para s(x)

A

s(x) -> r(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

r(x) solo si s(x)

A

r(x) s(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

en la logica las afirmaciones solo pueden ser

A

verdaderas o falsas

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

en la logica las negaciones solo pueden ser

A

verdaderas, o falsas, contrariamenre a lo que es la afirmacion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

El que una afirmacion sea verdadera y su negacion sea falsa se llama

A

prueba por vacuidad

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

¿que es la prueba por vacuidad?

A

una afirmacion universal es verdadera si no existe ejemplo que haga verdadera su negacion

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Q

P(1,1) ^ P(1,2) ^ P(2,1) ^ P(2,2)

A

AxAyP(x,y)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
26
Q

P(1,1) v P(1,2) v P(2,1) v P(2,2)

A

ExEyP(x,y)

27
Q

(P(1,1) ^ P(1,2)) v (P(2,1) ^ P(2,2))

A

ExAyP(x,y)

28
Q

(P(1,1) v P(1,2)) ^ (P(2,1) v P(2,2))

A

AxEyP(x,y)

29
Q

Cuando no es posible construir un argumento valido para un conjunto de premisas y una conclusion puede ocurrir que

A

la conclusion no se deduzca de la hipotesis

30
Q

¿que se hace cuando no es posible construir un argumento valido para un conjunto de premisas y una conclusion?

A

se construye una interpretacion donde la hipotesis y la conslusion formen un argumento valido

31
Q

la implicacion y su contrapositiva son

A

logicamente equivalementes

32
Q

que dice el metodo directo

A

probar que bajo el supuesto de que la hipotesis es verdadera la conclusion es verdadera

33
Q

que dice el metodo indirecto

A

para ver que la implicacion es verdadera, vea que bajo el supuesto de que la conclusion es falsa la hipotesis es falsa

34
Q

que dice la reduccion al absurdo

A

para demostrar que p es verdadero, pruebe que el supuesto de que p sea falso lleva a una contradiccion logica

35
Q

¿que es un conjunto?

A

una coleccion o familia de objetos

36
Q

para que sirven las llaves {}

A

para definir un conjunto

37
Q

con que se denotan los conjuntos

A

con letras mayusculas

38
Q

cual es la forma extensional?

A

A = {a, b, c..}

39
Q

cual es la forma intensional?

A

A = {x e Letras | x es minuscula}

40
Q

en que consiste en definir o construit un conjunto por extension

A

declarar todos los elementos que lo componen

41
Q

en que consiste en definit o construir un conjunto por intencion

A

en declarar cuales elementos de un cierto conjunto son seleccionados, llevando una propiedad o predicado

42
Q

si el objeto x pertenece al conjunto A se escribe

A

x e A

43
Q

si el objeto x no pertenece al conjunto A se escribe

A

x e/ A

44
Q

Como se escribe cuando A es un subconjunto de B

A

A c_ B

45
Q

Cuando se dice que A es subconjunto de B

A

cunado todo elemento de A tambien es elemento de B

46
Q

Como se escribe cuando el conjunto A es un subconjunto propio de B

A

A c B

47
Q

Cuando se dice que A es subconjunto propio de B

A

si todo elemento de A es tambien elemento de B y ademas existe un elemento en B que no es elemento de A (no tolera la igualdad)

48
Q

Dos conjuntos A y B se dicen iguales si poseen

A

los mismos elementos

49
Q

como se llama el conjunto que no tiene ningun elemento?

A

conjunto vacio

50
Q

que es la cardinalidad

A

indica el numero de elementos de un conjunto

51
Q

como se representa la cardinalidad

A

numdeitems |

52
Q

como se representa la union

A

A u B = elementos conjunto A o elementos conjunto B

53
Q

como se representa la interseccion

A

A ^ B = los elementos de A que tambien estan en B

54
Q

como se representa la deiferencia?

A

A - B = elementos que estan en A y que no estan en B

55
Q

como se representa el complemento

A

A^c = Todos los elementos de U que no estan en A

56
Q

como se representa el conjunto potencia?

A

2^A ? todos los posibles subconjuntos de A

57
Q

como se representa el producto cartesiano?

A

AxB = todas las parejas ordenadas (a,b)

58
Q

que es una sucesion

A

una lista ordenada de elementos

59
Q

sum (a) + sum (b) =

A

sum (a+b)

60
Q

c (sum(a)) =

A

sum (c x a)

61
Q

multi(a) x multi(b)

A

multi (a x b)

62
Q

Para demostrar que es verdadera una afirmacion se debe de probar que

A

el paso base: P(a)

Paso inductivo: P(k+1) y extender todo

63
Q

Conjunto de cosas acerca de las cuales se habla en un determinado contexto. No es un conjunto universal

A

universo contexto

Mates discretas (5 decks)

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions