ENSIKLOPEDIA Cari Tekan Enter untuk memulai pencarian cepat. Kembali ke Ensiklopedia Arsip Wikipedia Indonesia Templat:Simbol logika umum Templat:Simbol logika umumlbsSimbol logika umum ∧ atau & dan ∨ atau ¬ atau ~ yidak / bukan → mengimplikasikan ⊃ mengimplikasikan,superset ≡ jika dan hanya jika | bukan dan ∀ kuantifikasi universaluniversal ∃ kuantifikasieksistensial ⊤ benar,tautologi ⊥ salah,kontradiksi ⊢ membuktikan ⊨ mengakibatkan ∴ sehingga ∵ karena Portal Filsafat Portal Matematika Dokumentasi templat lbsTemplat logikaJenis logika Logika klasik Logika matematika Metalogika Logika non-klasik Logika filosofis Templat lainnya Simbol logika umum Templat navigasi logika Penyunting dapat melakukan uji coba pada halaman bak pasir (buat | cermin) dan kasus uji (buat) templat ini. Subhalaman templat ini.
Dokumentasi templat
