简答题

将下面命题符号化，要求符号化的公式为前束范式：
不是所有的火车都比所有的汽车跑得快。

求的前束范式。

问答题

求的前束范式。

设a和b是含幺环R中的两个可逆元证明：-a也是可逆元，且（ab）-1=b-1a-1。

问答题设a和b是含幺环R中的两个可逆元证明：-a也是可逆元，且（ab）^-1=b^-1a^-1。

设a和b是含幺环R中的两个可逆元证明：-a也是可逆元，且（-a）-1=-a-1。

问答题设a和b是含幺环R中的两个可逆元证明：-a也是可逆元，且（-a）^-1=-a^-1。