与逻辑相关的数学题

来源:百度知道 编辑:UC知道 时间:2024/06/14 08:52:55
设A^是命题A的否命题,若B是A^的必要不充分条件,则B^是A的什么条件??

麻烦请给出具体过程或思路.
谢谢
一楼同志..看不懂符号
二楼同志!这是否命题,而不是命题的否定(即不是非A形式)啊!!!

A^=>B
A^<B
A>B^
A<=B^
充分不必要

<表示集合属于
=>表示推出

一个命题与它的逆否命题 同真假
B可以推出非A,这是个真命题
它的逆否命题是A可以推出非B
但是没有条件可以得到非B可以推出A
所以非B是A的必要不充分条件.