阴山学刊(自然科学版)
陰山學刊(自然科學版)
음산학간(자연과학판)
YINSHAN ACADEMIC JOURNAL
2012年
1期
33-34
,共2页
真值表%等价关系%MATHEMATIC
真值錶%等價關繫%MATHEMATIC
진치표%등개관계%MATHEMATIC
本文应用MATHEMATIC软件编制了命题的真值表的程序和验证等价关系的程序.
本文應用MATHEMATIC軟件編製瞭命題的真值錶的程序和驗證等價關繫的程序.
본문응용MATHEMATIC연건편제료명제적진치표적정서화험증등개관계적정서.