Contoh Logika Formal