Ejercicios en Coq

Exercise 1
Demuestre que la premisa “Juan baila y canta” permite concluir que “Juan baila”.

Exercise 2
Demuestre que la premisa “Juan baila” permite concluir que “Juan baila o canta”.

Exercise 3
Demuestre que la premisa “Pedro no juega fútbol” permite concluir que “Si Pedro juega fútbol entonces él va ser ingeniero”.

Exercise 4
Demuestre que las premisas “Catalina sale a la playa” y “Sandra va de compras” permiten concluir que “Si Catalina sale a la playa entonces Sandra va de compras”.

Exercise 5
Demuestre que las premisas “Federico no sabe programar” y “Federico sabe programar o sabe jugar fútbol” permiten concluir que “Federico sabe jugar fútbol”.

Exercise 6
Demuestre que las premisas “Si Alberto es un gran deportista gozará de mucha salud”, “Si Alberto goza de mucha salud tendrá una larga vida” permiten concluir que “Si Alberto es un gran deportista tendrá una larga vida”.

Exercise 7
Demuestre que las premisas “Andrea sabe programar” y “Si Andrea sabe programar será una gran Ingeniera de Sistemas” permiten concluir que “Andrea será una gran Ingeniera de Sistemas”.