aとaはあり得ない(b)は矛盾である
これはどういう意味?