2
Apakah resolusi proposisional merupakan sistem bukti yang lengkap?
Pertanyaan ini adalah tentang logika proposisional dan semua kejadian "resolusi" harus dibaca sebagai "resolusi proposisional". Pertanyaan ini adalah sesuatu yang sangat mendasar tetapi telah mengganggu saya untuk sementara waktu. Saya melihat orang-orang menyatakan bahwa resolusi proposisional sudah lengkap tetapi saya juga melihat orang-orang menyatakan bahwa resolusi itu tidak lengkap. Saya …