Ringkasan Isi Modul
Ringkasan Isi Modul
Pola proposisional valid dapat dipakai pada formula predikat. Pemindahan kuantifier memerlukan syarat kebebasan variabel. Substitusi harus menjaga cakupan agar tidak menangkap variabel secara tidak sengaja.
Pola proposisional valid dapat dipakai pada formula predikat. Pemindahan kuantifier memerlukan syarat kebebasan variabel. Substitusi harus menjaga cakupan agar tidak menangkap variabel secara tidak sengaja.
Select a result to preview