真/偽をT/Fとする。
A = T or F, B = T or F である。
A and B = T とすれば、A = T, B = T であることがわかる。
しかし、
A and B = F のときはひとつに決まらない。
これはいったい（哲学的には）どういうことなのか。