概述：本道作业题是祖钢睾同学的课后练习，分享的知识点是a或非b等价，指导老师为叶老师，涉及到的知识点涵盖：或与且的等价逻辑是啥 是A或B=非A且非B吗 还有所有和...-a或非b等价，下面是祖钢睾作业题的详细。
你这里说的是两大类命题：
（1）【或】与【且】,都属于【复合命题】：
A或B：选言命题；
A且B：联言命题；
等价关系：
A或B＝并非（非A且非B）；
A且B＝并非（非A或非B）；
（2）【所有】与【有些】,说的是【简单命题】中的【直言命题】；一般形式为：
所有S 是P：全称肯定命题；
所有S不是P：全称否定命题；
有些S 是P：特称肯定命题；
有些S不是P：特称否定命题；
等价关系：
所有S是P＝并非（有些S不是P）——特称否定命题的否定；
有些S是P＝并非（所有S不是P）——全称否定命题的否定；
一般都是用这个永远都有效的 “枚举法”,也就是真值表法：把 A、B 所有的取值组合都罗列出来,看复合命题 A→B 与 ┐A ∨ B 的取值情况.结果证明二者恒等.
像这种基本连接词间的转换,真值表法就是最直接,也最有效的方法.不过也可以根据它们的定义,用一种更“高级”的方法来证明：
A→B 表示：A 为真时,B 也总是为真；
即：A→B 为真,当且仅当 A 为真时 B 也为真；那么：
A→B 为假,当且仅当 A 为真,并且 B 不为真；——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的：知道了结果为假的赋值组合,自然也就知道结果为真的赋值组合了.所以：
┐（A→B） = A ∧ ┐B；
┐┐（A→B） = A→B = ┐（A ∧ ┐B） = ┐A ∨ B；
矛盾关系
除非A,否则B
推理关系表示是:
_
A->B
_
A 是“非A”
/A->B
/B->A,对.
A→B 可以转换成 非A或B(蕴含定义）,：(A→B)∧非B 就等于 （非A或B）与非B 等于 （非A与非B）或 （B 与非B） B 与非B一定是假,在或运算中,逻辑假可以忽略（吸收律）,所以原式继续转换为非A与非B真值表检验：当B为...
不能,若A则B,能推出非B则非A,这两者互为逆否命题
方法一,用真值表
A B A\' A\'B (A\'B)\'
0 0 1 0 1
0 1 1 1 0
1 0 0 0 1
1 1 0 0 1
∴(A\'B)\'=A+B\'
方法二,用逻辑运算
(A\'B)\'
=A"+B\'
=A+B\'
提示：非A或非B = 非（A且B） A或B = 非（非A且非B）
提示：否命题与矛盾命题之间的区别就是一个是同真同假，而另一个则相互相反。 例如 原命题为:a--＞b 否命题为:非a--＞非b 矛盾命题为:a--＞非b 非a--＞b
提示：B为真并不能表示A为真埃。。A是B的充分条件不是必要条件埃。。。你的例子真的有好好思考过吗。。。。
提示：根据德·摩根定律可知 非“A且B”=非A或非B才对。这是有公式的。
提示：它的等价命题不止一个。 1、并非所有的a都是b。 2、有的a是并非b。