Logika 1

Pada zaman aristoteles, dikenal logika himpunan. Semua A itu B. Sebagian A itu B.
terus ada penemuan di zaman (mungkin whitehead, nanti saya periksa), bahwa premis bisa juga, jika A maka B.