Lógica Predictiva

En esta semana se nos dio a elegir un problema de un libro llamado Symbolic Logic , que havla sobre logica predictiva.

Yo eleji el problema 100 de la pagina 102 y dice asi

All my boys are disobedient;

All my girls are discontented

Todos mis niños son desobedientes

Todas mis niñas están descontentas

Ahora después de esto para encontrar llegar a una conclusión con estas preposiciones se definen algunas equivalencias con notación.

Ño(x) : Niños

Ña(x): Niñas

D(x): Desobedientes

Dc(x): Descontentas

Ahora apartir de aqui podemos hacer varias expresiones utilizando los cuantificadores 

∀ significa para todos

∃ Significa por lo menos uno o alguno.

∀(x)Ño(x) -->D(x)  Que significaria todos mis niños son desobedientes 

∀(x)Ña(x) -->Dc(x)  Que significaria todos mis niñas estan descontentas

De qui podemos sacar conclusiones primero explicada en palabras

Ninguno de mis niños estan descontentos. 

Ninguna de mis niñas son desobedientes.

¬∃Ño(x) -->Dc(x)

¬∃Ña(x) -->D(x)

Que vendria quedando de este modo 

∀(x)Ño(x) -->D(x) 

∀(x)Ña(x) -->Dc(x)  

Por lo tanto

¬∃Ño(x) -->Dc(x)    o   ¬∃Ña(x) -->D(x)