すまん、記号論理学だと、基本的には、少なくとも学部レベルだと
あるAが存在する、という事象とそのAが存在しない、という事象は両立しない、ということを前提に論じる。
∧は論理記号。