4.1. เป็นการพิสูจน์ข้อความที่อยู่ในรูป x Px ซึ่งสามารถพิสูจน์ให้เห็นจริงได้โดยการยกตัวอย่างอย่างน้อย 1 กรณี ที่สอดคล้องกับความที่ต้องการพิสูจน์
5. การพิสูจน์ทางตรง
5.1. เนื่องจากข้อความในรูป p --> q เป็นเท็จกรณีเดียว คือ เมื่อ p เป็นจริง และ q เป็นเท็จ จึงเป็นการเพียงพอที่จะพิสูจน์ว่า p --> q เป็นจริง โดยการสมมติให้ p เป็นจริง แล้วพยายามแสดง ให้เห็นว่าq ต้องเป็นจริง เราก็จะสรุปได้ว่า p --> q เป็นจริง
6. การพิสูจน์โดยใช้กฎแย้งสลับที่
6.1. จากตรรกศาสตร์เราทราบว่า p--> q สมมูลกับ ~ q --> ~ p (กฎแย้งสลับที่) ดังนั้น ถ้าเรา พิสูจน์ได้ว่า ~ q --> ~ p เป็นจริงก็จะทา ให้ได้ว่า p --> q เป็นจริงด้วย
7. การพิสูจน์โดยการแจกกรณี
7.1. การพิสูจน์แจกแจงกรณีจะใช้กับข้อความที่อยู่ในรูป p v q --> r โดยจากตรรกศาสตร์ เรา ทราบว่า p v q --> r สมมูลกับ(p --> r) ^ (q --> r) ดังนั้น ถ้าเราสามารถพิสูจน์ได้ว่า p --> r เป็นจริง และ q --> r เป็นจริงแล้วจะสรุปได้ว่า p v q --> r เป็นจริงด้วย การพิสูจน์รูปแบบ p v q --> r