Beranda
Sembarang
Sekitaran
Masuk log
Pengaturan
Menyumbang
Tentang Wikipedia
Penyangkalan
Cari
Templat
:
Simbol logika umum
Bahasa
Pantau
Sunting
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
Portal Filsafat
Portal Matematika
Dokumentasi templat
l
b
s
Templat logika
Jenis logika
Logika klasik
Logika matematika
Metalogika
Logika non-klasik
Logika filosofis
Templat lainnya
Simbol logika umum
Kotak navigasi logika
Penyunting dapat melakukan uji coba pada halaman bak pasir
(
buat
|
cermin
)
dan kasus uji
(
buat
)
templat ini.
Subhalaman templat ini
.
Dokumentasi templat Dokumentasi templat
Dokumentasi templat