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