ข้อสอบ PAT 1 - มีนาคม 2565

พิจารณาข้อความต่อไปนี้

  ก)  กำหนดเอกภพสัมพัทธ์เป็น $\left\{0, 1, 2\right\}$

       $\forall x\left[\left(x>0\right)\to \left(3\left|x-1\right|\le \left|x+3\right|\right)\right]$ มีค่าความจริงเป็นจริง

  ข)  กำหนดเอกภพสัมพัทธ์เป็นเซตของจำนวนจริง

       นิเสธของ $\forall x\left[x>0\right]\to \exists x\left[2x\le 3\right]$ คือ $\forall x\left[x>0\right]\wedge \forall x\left[2x>3\right]$

  ค)  กำหนดเอกภพสัมพัทธ์เป็นเซตของจำนวนจริง

        $\forall x\left[x>0\right]\to \exists x\left[2x\le 3\right]$ สมมูลกับ $\exists x\left[x\le 0\right]\vee \exists x\left[2x\le 3\right]$

จากข้อความ ก) ข) และ ค) ข้างต้น ข้อใดถูกต้อง