Desafio Academico 2

El 1 es un número natural. Axioma.
Si n es un número natural, entonces el sucesor de n también es un número natural. Axioma.
No hay ningún número natural mayor que cero. Axioma.
Todo número elevado a la cero es igual a uno. Axioma.
Si a cantidades iguales se les añaden cantidades iguales, las sumas resultantes también son iguales.
El todo es mayor que cualquiera de sus partes. Axioma.
Si un número termina en cero o en cinco es divisible por cinco. Axioma.
Si un número divide a otros varios divide también a su suma. Teorema.
El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los dos catetos. Teorema.
La mayoría de los profesores de Lógica Computacional son muy estrictos, Jorge es profesor de esta facultad, por lo tanto, probablemente sea muy estricto . Deduccion.
En el comedor todos los jueves dan pescado.Hoy es jueves, por consiguiente hoy dan pescado. Deducción.
El lunes, el martes y el miércoles en la tarde Jorge me brindo un café, en conclusión Jorge todas las tardes me brinda un café. Deducción.
(N3+5n) es divisible entre seis para cualquier número natural mayor o igual que uno. Inducción.
Demostrar que la suma de los n primeros números naturales es igual a la suma del último y el primero multiplicada por el número de números sumados y dividido entre dos. Inducción.
Demostrar que la suma de los cubos de los n primeros numeros naturales es igual al cuadrado de la suma de los n primeros numeros naturales. Inducción.
Cada persona en el mundo ha dado cierta cantidad de apretones de manos. Demostrar que el número de personas que han dado un número impar de apretones de manos es par. Inferencia.
Un joven le dice a un amigo, tu todos los días dices mentiras, y el contesta, no es cierto, ayer en todo el día no dije una sóla mentira. Inferencia.
Si durante la primera semana el maestro llega 10 minutos tarde, podemos concluir que todo el semestre va a llegar tarde. Inferencia.
Se sabe que siempre que llueve hay nubes, concluímos que el día de hoy que está lloviendo hay nubes. Inferencia.
Juan vendrá a la fiesta, o María vendrá a la fiesta. Juan no vendrá a la fiesta María vendrá a la fiesta. Argumento.
Todos los peces son mamíferos. Moby Dick es un pez. Moby Dick es un mamífero. Argumento.
Todos los caballos son mamíferos. Todos los caballos son vertebrados. Todos los mamíferos son vertebrados. Argumento.
Los planetas son redondos La Tierra es un planeta. Por tanto, la Tierra es redonda Premisa.