7/22/2019 inferencia de predicados.docx

1/6

Universidad Tcnica de AmbatoLgica Matemtica

Nombre: Erik EscobarCurso: Primero Industrial

1. Tres ms siete es mayor que dos ms cinco. Cada nmero mayor que dos ms cinco no esigual a dos por tres.

2. Cada nmero que no es igual a cero es mayor que cero o menor que cero.

Seis dividido por dos no es cero y seis dividido por dos no es menor que cero.

Por tanto, seis dividido por dos es mayor que cero.

7/22/2019 inferencia de predicados.docx

2/6

Universidad Tcnica de AmbatoLgica Matemtica

3. Un nmero es par si y slo si es divisible por dos.

Tres por cinco no es par, pero tres ms cinco es divisible por dos.

Por tanto, tres por cinco no es divisible por dos, pero tres ms cinco es par.

4. Para todo x, x ms uno es par o x no es impar Si uno ms tres no es par, entonces tres msuno no es par.

Por tanto, si tres es impar, entonces uno ms tres es par.

7/22/2019 inferencia de predicados.docx

3/6

Universidad Tcnica de AmbatoLgica Matemtica

5. Tres sumado a cualquier nmero impar da un nmero par.

(Indicacin: Si un nmero es impar, entonces este nmero ms tres es par.)

Dos ms tres es impar.

Si el resultado de sumar tres a dos mis tres es par, entonces ocho es par.

Por tanto, ocho es par.

8. Para cada x1 si x es igual a diez entonces x es mayor que ocho.

Cinco ms cinco es igual a diez o cinco ms tres es igual a diez.

Cinco ms tres no es igual a diez.

Por tanto, cinco ms cinco es mayor que ocho.

7/22/2019 inferencia de predicados.docx

4/6

Universidad Tcnica de AmbatoLgica Matemtica

9. Para cada x, no ocurre que x sea a la vez un nmero positivo y

x sea un nmero negativo.

Para cada x, si x es menor que 0, entonces x es un nmero negativo.

1 + 1 es un nmero positivo.

Por tanto 1 + 1 no es menor que O.

10. Para cada x, si x es mayor que 2, entonces x+2 es mayor que 2.

Para cada x, si x+ 1 es mayor que 2, entonces x+2 es mayor que 2.

Por tanto, 2+2 es mayor que 2.

7/22/2019 inferencia de predicados.docx

5/6

Universidad Tcnica de AmbatoLgica Matemtica

11. Todas las araas son arcnidos.

Todos los arcnidos tienen ocho patas.

Charlotte es una araa.

Por tanto, Charlotte tiene ocho patas.

12. Ningn tringulo congruente a ABC es equiltero.

Slo los tringulos congruentes a ABC son congruentes a DEF.

El tringulo GHI es equiltero.

Por tanto, el tringulo GHI no es congruente a DEF

7/22/2019 inferencia de predicados.docx

6/6

Universidad Tcnica de AmbatoLgica Matemtica