Templat:Simbol logika umum

templat Wikimedia

Bagikan:

l b s Simbol logika umum
∧  atau  & dan ∨ atau ¬  atau  ~ yidak / bukan → mengimplikasikan ⊃ mengimplikasikan, superset ≡ jika dan hanya jika | bukan dan ∀ kuantifikasi universal universal ∃ kuantifikasi eksistensial ⊤ benar, tautologi ⊥ salah, kontradiksi ⊢ membuktikan ⊨ mengakibatkan ∴ sehingga ∵ karena
PortalFilsafat PortalMatematika

Dokumentasi templat

l b s Templat logika
Jenis 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.

Konten disalin dari Wikipedia Bahasa Indonesia (lisensi CC BY-SA) Lihat versi asli di Wikipedia