离散数学中一阶逻辑公式的类型

jameszh 1年前 已收到1个回答 举报

会tt的_鱼 幼苗

共回答了21个问题采纳率:95.2% 举报

重言式
非重言的可满足式
矛盾式

1年前

2
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.012 s. - webmaster@yulucn.com