СШ1 – Математика, 7. час: Примена исказног рачуна на скуповне једнакости (утврђивање)