Математика 2012-13 Бакалавры / 5_Практикум / ПРАКТИЧЕСКИЕ ЗАНЯТИЯ / Математическая логика

число, на которое делится – истина.

Связывая обе переменные, получим высказывания (0 – местные предикаты).

число делится на число ложь.

число, на которое делится число истина (это «1»)

число, которое делится на число ложь.

число, которое делится на какое-нибудь истина.