Logic

Glosarium ringkas untuk membaca simbol, aturan inferensi, dan istilah dasar di Axiom Room.

Konsep proposisi membantu analisis logika, tetapi status keberadaannya sebagai entitas abstrak masih menjadi bahan perdebatan filosofis.

Proposisi bisa dipahami sebagai bentuk makna yang diekspresikan oleh kalimat deklaratif, bukan sebagai kalimat itu sendiri.

Proposisi memiliki tingkatan struktur: bentuk atomik yang sederhana dan bentuk molekuler yang terbentuk melalui operator logika.

Sebuah proposisi harus bisa dievaluasi sebagai benar atau salah, sehingga tidak semua bentuk kalimat bisa disebut proposisi.