Lógica predictiva

En esta semana la tarea a entregar es sobre lógica predictiva(predicados) o lógica de primer orden, dentro del libro "Symbolic Logic" debíamos escoger proposiciones compuestas y obtener de ahí lo que son las proposiciones de lógica predictiva.

Esté es mi par de proposiciones:

• Some pictures are not first attempts;(Algunas imágenes no son los primeros intentos)
• No first attempts are really good.(Ninguno de los primeros intentos son  buenos)

Las expresiones que utilice son las siguientes:

• F(x)= imágenes 
• G(x)= primeros intentos
• H(x)= son buenos

Expresiones:
Se  utilizan los cuantificadores para expresar el conjunto de proposiciones.

• ∀: Todos, para todos 
• ∃: Por lo menos uno, algunos, algunas
  

Ahora las proposiciones de lógica predictiva son las que se muestran enseguida:

• ∃F(x) -> ¬G(x)
• ¬∃G(x) -> H(x)

Como ninguno fue un intento bueno, algunas imágenes no son buenas. 

• Conclusión:  ∃F(x)-> ¬H(x).