жиынның орындалуы деген түсінік ол жиындағы барлық таңбасымен байланысқан сөйлемдер анықталған формуланың орындалуы ал барлық еркін айнымалылар таңбасымен