Lógica Predicativa

Para la realizacion de la tarea 5, se escogio un ejercicio del libro "Lean Symbolic Logic" de  Lewis Carroll.

Este es el ejercicio escogido, el numero 12:

Some holidays are rainy;

Rainy days are tiresome.

Damos una equivalencia simbolica, aqui lo que hice:

• H(x) = holidays
• R(x) = rainy
• T(x) = tiresome

 Cuantificadores:

• ∀ = Para todos.
• ∃ = Por lo menos uno, alguno 

Ahora combinamos y este es el resultado:

 Some holidays are rainy;

∃xH(x) -> R(x)
 

Rainy days are tiresome.

∀xR(x) -> T(x)

Entonces podriamos decir que:

Some holidays are rainy and tiresome

  ∴∃xH(x) -> R(x)^T(x)