Son los que se suponen ciertos.

_______________ se usan para crear nuevos conceptos en términos de otros ya existentes

Es el resultado que se puede deducir de los axiomas, de las definiciones

Es la representación que enumera todas las posibles combinaciones de los valores de verdad para p1… pn.

Supóngase que se tiene una proposición S (n) para cada entero positivo n, la cual es verdadera o falsa. Es llamado paso básico de la inducción matemática a la siguiente expresión

Supóngase que se tiene una proposición S (n) para cada entero positivo n, la cual es verdadera o falsa. Es llamado paso inductivo de la inducción matemática a la siguiente expresión:

______________ permiten relacionar dos o más tautologías o hipótesis en una demostración

Sea P = P ( p1, …., pn ) una proposición. La proposición P es una ________________ si p es verdadera para todos los valores de verdad que se asignen a p1, ……, pn.

Sea P = P ( p1, …., pn ) una proposición. La proposición P es una ________________ si p es falsa para todos los valores de verdad que se asignen a p1, ……, pn.

Dos proposiciones son _______________ cuando todos los valores de una son exactamente igual a los valores de la otra.

Una ________________ supone que p es verdadera y después, usando tanto p como axiomas, definiciones y teoremas establecidos con anterioridad, prueba directamente que q es verdadera.

Es una proposición compuesta en la que se permite unir dos proposiciones usando una condición Si (antecedente) entonces (consecuente).

Cuales son los elementos de los que se vale la prueba directa para demostrar que es verdadera

Considerando la expresión si p entonces q. Una ________________ supone que es p verdadera y q falsa; empleando p y q, axiomas, definiciones y teoremas establecidos con anterioridad se deduce una contradicción.

_____________ puede considerarse como un cuadro que muestra las correspondencias de unos elementos con respecto a otros

Una relación R sobre un conjunto x recibe el nombre de _____________ si ( x , x ) Є a R para todo x Є X

Sea los elementos de la relación: {(a,a), (b,b) (c,c), (d,d) } ¿qué propiedades cumple?

Una relación R sobre un conjunto A recibe el nombre de _____________ si para todo ( x , y ) Є a R se tiene que ( y , x ) Є a R

Sea los elementos de la relación: {(1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3) } ¿qué propiedades cumple?

Una relación R sobre un conjunto X recibe el nombre de _____________ si para todo (x , y ), (y , z) Є a R se tiene que ( x , z ) Є a R

Sea los elementos de la relación: {(1,2), (1,3), (1,4), (2,3), (2,4), (3,4)} ¿qué propiedad cumple?

Una relación R sobre un conjunto A recibe el nombre de _____________ si para todo (x , y ) Є a R con x ≠ y se tiene que ( y , x ) no Є a R

Determina si la relación (x, y) Є a R si x = y2 es reflexiva, simétrica, antisimétrica, transitiva o de orden parcial.

La inversa de la relación R= {(2,4), (2,6), (3,3), (3,6), (4,4)}

Es la representación gráfica de un conjunto

Si f es una función de X a Y y el contradominio de f es Y, la función es:

Una ______________ R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X x Y. Si (x,y) Є R se escribe x R y y se dice que x esta relacionado con y.

Una función que es inyectiva y suprayectiva se denomina:

Consiste en todos los elementos que están en X y que no están en Y

Se dice que una relación es de equivalencia si es: ____________

Sea la relación R= {(1,1), (2,2), (3,3), (4,4), (5,5), (1,3), (3,1)}. Determinar que tipo de relación existe.

Sea la relación R= {(1,1), (1,3), (1,5), (2,2), (2,4), (3,1), (3,3), (3,5), (4,2), (4,4), (5,1), (5,3), (5,5)}. Determinar que tipo de relación existe.

Se dice que una relación es de orden parcial si es: ____________

Sea la relación R= {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)}. Determinar que tipo de relación existe.

Una relación que es reflexiva, simétrica y transitiva es una relación: ___________________

¿Consiste en un diagrama que consta de vértices y lados?

La primera publicación de la teoría de los grafos fue echa por __________________.

Es un método de demostración que se utiliza cuando se trata de establecer la veracidad de una lista infinita de proposiciones.