命題檢驗

一種重要的推理形式。有證真和證偽研究等。