2020春季-北航学院-离散数学试卷A卷-答案1 时间:2022-08-08 21:43:12 【文件属性】: 文件名称: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是合式公式,则 立即下载