Дай поща и ще ти пратя разработена тема за предикатната логика от 1-ви ред.