文件名称:2020春季-北航学院-离散数学试卷A卷-答案1
文件大小:31KB
文件格式:DOCX
更新时间:2022-08-08 21:43:12
(1) 若t1,…,tn是项,Qin是n元谓词,则Qin(t1,…,tn)是合式公式 (2) 若Q是合式公式,则(Q)是合式公式 (3) 若Q和R是合式公式,则
文件名称:2020春季-北航学院-离散数学试卷A卷-答案1
文件大小:31KB
文件格式:DOCX
更新时间:2022-08-08 21:43:12
(1) 若t1,…,tn是项,Qin是n元谓词,则Qin(t1,…,tn)是合式公式 (2) 若Q是合式公式,则(Q)是合式公式 (3) 若Q和R是合式公式,则