estrategias o metodos de demostración

Hola!
Requiero realizar un trabajo para la Universidad sobre ejemplos explicados de metodos de desmostración de logia computacional. A continuación dejo una imagen adjunta con lo que se requiere, al menos 5 ejemplos explicados sería suficiente.

Quedo atento, gracias.