Спрашиваю на всякий случай: !x.all(predicate) всегда равносильно x.any(predicate)?

Законы де Моргана говорят, что не хватает отрицаний: !x & !y == !(x | y) и !x | !y == !(x & y) Действительно, факт, что не верно, что все x_1, ..., x_n верны, равносилен факту, что какое-то из x_1, ..., x_n неверно, т.е. какое-то из !x_1, ... !x_n верно. (Второе из выражений выше.) Поэтому !all(predicate) == any(!predicate) Аналогично наоборот: !any(predicate) == all(!predicate) P.S. И у котлиновских all и any правильные поведения на пустых коллекциях, поэтому данные выражения верны совсем всегда.

0

29.07.2022

Alexey Erofeev

Глеб Минаев
Законы де Моргана говорят, что не хватает отрицани...

а есть язык с неверной имплементацией на пустых коллекциях?

0

29.07.2022

Глеб Минаев

Alexey Erofeev
а есть язык с неверной имплементацией на пустых ко...

Я совсем не специалист по языкам и примера не знаю. Возможно, нет таких. Казалось, что сталкивался с какими-то такими особенностями, поэтому на всякий случай уточнил. Извините.

0

29.07.2022

Alexey Erofeev

Глеб Минаев
Я совсем не специалист по языкам и примера не знаю...

да я просто поинтересовался, без наездов, вдруг и правда есть, хотя по идее должно работать просто потому что должно из булевой алгебры

0

29.07.2022

Ilya · Accepted Answer

Ilya

Наверное все таки x.any(!predicate)

0

29.07.2022

169 похожих чатов

Спрашиваю на всякий случай: !x.all(predicate) всегда равносильно x.any(predicate)?

8 ответов

Похожие вопросы