数理逻辑中(离散数学),表达式上面加一横表示逆命题.读作"非".如非p,非q 等.
本题中已知:
(p或q)的逆命题为否命题.
上述命题取反(否定律),即(p或q)为真命题.
根据逻辑或的定义,所以p为真或q为真.
即p,q中至少一个为真命题.
因此选C.p,q中至少一个为真命题.
数理逻辑中(离散数学),表达式上面加一横表示逆命题.读作"非".如非p,非q 等.
本题中已知:
(p或q)的逆命题为否命题.
上述命题取反(否定律),即(p或q)为真命题.
根据逻辑或的定义,所以p为真或q为真.
即p,q中至少一个为真命题.
因此选C.p,q中至少一个为真命题.