alethic logic

Словарь сейчас недоступен — попробуйте через минуту.