Predicados

Question 1

¿Qué es un predicado?

Answer 1

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

Question 2

¿Cuál es el dominio de un predicado?

Answer 2

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

Question 3

¿Con que describe una propiedad las sentencias declarativa?

Answer 3

notación de funciones

Question 4

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

Answer 4

la lógica proposicional

Question 5

afirmacion universal

Answer 5

A(al reves)x

Question 6

afiirmación existencial

Answer 6

E(al reves)x

Question 7

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

Answer 7

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

Question 8

¿Qué es la prueba por vacuidad?

Answer 8

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

Question 9

AxEy

Answer 9

para cada x en A existe un y en B

Question 10

ExAy

Answer 10

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

Question 11

AxEyP(x,y)

Answer 11

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

Question 12

ExAyP(x,y)

Answer 12

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

Question 13

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

Answer 13

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

Question 14

¿Qué es el error inverso?

Answer 14

la afirmación del consecuente

Question 15

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

Answer 15

la logica de predicados

Question 16

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

Answer 16

el concepto de predicado y el de cuantificador

Question 17

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

Answer 17

contraejemplo

Question 18

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

Answer 18

r(x) -> s(x)

Question 19

r(x) condicion necesaria para s(x)

Answer 19

s(x) -> r(x)

Question 20

r(x) solo si s(x)

Answer 20

r(x) s(x)

Question 21

en la logica las afirmaciones solo pueden ser

Answer 21

verdaderas o falsas

Question 22

en la logica las negaciones solo pueden ser

Answer 22

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

Question 23

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

Answer 23

prueba por vacuidad

Question 24

¿que es la prueba por vacuidad?

Answer 24

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

Question 25

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

Answer 25

AxAyP(x,y)

Question 26

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

Answer 26

ExEyP(x,y)

Question 27

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

Answer 27

ExAyP(x,y)

Question 28

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

Answer 28

AxEyP(x,y)

Question 29

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

Answer 29

la conclusion no se deduzca de la hipotesis

Question 30

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

Answer 30

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

Question 31

la implicacion y su contrapositiva son

Answer 31

logicamente equivalementes

Question 32

que dice el metodo directo

Answer 32

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

Question 33

que dice el metodo indirecto

Answer 33

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

Question 34

que dice la reduccion al absurdo

Answer 34

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

Question 35

¿que es un conjunto?

Answer 35

una coleccion o familia de objetos

Question 36

para que sirven las llaves {}

Answer 36

para definir un conjunto

Question 37

con que se denotan los conjuntos

Answer 37

con letras mayusculas

Question 38

cual es la forma extensional?

Answer 38

A = {a, b, c..}

Question 39

cual es la forma intensional?

Answer 39

A = {x e Letras | x es minuscula}

Question 40

en que consiste en definir o construit un conjunto por extension

Answer 40

declarar todos los elementos que lo componen

Question 41

en que consiste en definit o construir un conjunto por intencion

Answer 41

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

Question 42

si el objeto x pertenece al conjunto A se escribe

Answer 42

x e A

Question 43

si el objeto x no pertenece al conjunto A se escribe

Answer 43

x e/ A

Question 44

Como se escribe cuando A es un subconjunto de B

Answer 44

A c_ B

Question 45

Cuando se dice que A es subconjunto de B

Answer 45

cunado todo elemento de A tambien es elemento de B

Question 46

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

Answer 46

A c B

Question 47

Cuando se dice que A es subconjunto propio de B

Answer 47

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)

Question 48

Dos conjuntos A y B se dicen iguales si poseen

Answer 48

los mismos elementos

Question 49

como se llama el conjunto que no tiene ningun elemento?

Answer 49

conjunto vacio

Question 50

que es la cardinalidad

Answer 50

indica el numero de elementos de un conjunto

Question 51

como se representa la cardinalidad

Answer 51

| numdeitems |

Question 52

como se representa la union

Answer 52

A u B = elementos conjunto A o elementos conjunto B

Question 53

como se representa la interseccion

Answer 53

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

Question 54

como se representa la deiferencia?

Answer 54

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

Question 55

como se representa el complemento

Answer 55

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

Question 56

como se representa el conjunto potencia?

Answer 56

2^A ? todos los posibles subconjuntos de A

Question 57

como se representa el producto cartesiano?

Answer 57

AxB = todas las parejas ordenadas (a,b)

Question 58

que es una sucesion

Answer 58

una lista ordenada de elementos

Question 59

sum (a) + sum (b) =

Answer 59

sum (a+b)

Question 60

c (sum(a)) =

Answer 60

sum (c x a)

Question 61

multi(a) x multi(b)

Answer 61

multi (a x b)

Question 62

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

Answer 62

el paso base: P(a) | Paso inductivo: P(k+1) y extender todo

Question 63

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

Answer 63

universo contexto