Trong phiên tranh tụng về vấn đề đảo Ba Bình (Itu Aba) là đá (không có EEZ) hay là đảo (có EEZ) có một bài toán...

Trong phiên tranh tụng về vấn đề đảo Ba Bình (Itu Aba) là đá (không có EEZ) hay là đảo (có EEZ) có một bài toán logic rất thú vị:

Điều 121(3) của UNCLOS có thể viết dưới dạng:

NOT (A OR B) ==> NOT (C)

Philippines cho rằng biểu thức này tương đương với:

A AND B ==> C

Nhưng toà phản bác cho rằng về mặt logic nó phải tương đương:

A OR B ==> C


Mời các bạn giải bài toán logic này xem ai đúng, tôi sẽ phân tích kỹ hơn về Điều 121(3) và giải thích A, B, C là gì trong stt tới.