四.将下列命题谓词符号化

来源：百度知道 编辑：UC知道 时间：2024/05/26 17:04:58
1."所有有理数都是实数"

2."有些有理数不是整数"

1 P∪Q=Q
2 Z∪P=P

在逻辑学中A表示全称肯定判断.令有理数为S 实数为P. 则第一句话的逻辑符号为:SAP
第二句话是特称否定判断.在逻辑学中特称有字母O表示.则第二句话用逻辑符号表示为:SOP