数学 高一 应用题 较难 ★ 精品

全称量词与存在量词 — 数学应用题

鄂教版·数学 第2章 常用逻辑用语 AI 三重审校通过

题目
数学兴趣小组用集合A={−2,−1,1,2}设计了一个逻辑检测程序:输入命题p“对任意x∈A,都有x³<0”,程序先自动生成p的否定命题,再逐一检验A中的元素使否定命题成立。已知A中每个元素的立方都能直接口算得出。请判断p的否定是否为真命题,并求出使p的否定成立的元素个数为多少个?