In Kripke semantics where the semantic values of formulae are sets of possible worlds, negation can be taken to mean set-theoretic complementation.
В Семантиці Кріпке, де семантичні значення формули набору можливих світів, заперечення може бути доставлене на увазі теоретико-множинної Комплементації.