Istilah logika. Secara umum, dalam situasi yang sesuai dengan ekspresi <... if (if) ...>, kondisi atau asumsi sesuai dengan ekspresi sebelum <... if (if) ...>. Setara dengan ekspresi berikutnya dapat dibuat di bawah kondisi ini, tetapi seluruh ekspresi yang dihubungkan oleh <if> dapat disebut kondisi (proposisi atau kalimat). Karakter kondisi tidak selalu jelas, tetapi secara kasar dapat diklasifikasikan menjadi logis dan tidak logis. Pusat kondisi logis adalah kondisi logika standar pada inti logika modern. Jika dua anteseden adalah p dan q , mereka dinyatakan oleh p → q atau p q , dll., dan seluruh kondisi (ekspresi), → (atau ) disebut kata bersyarat (atau simbol bersyarat), p adalah disebut anteseden dari q , dan q disebut konsekuen dari p . Juga, p adalah kondisi yang cukup untuk q dan q adalah kondisi yang diperlukan untuk p . Alasan untuk menamakannya sebagai kondisi yang diperlukan adalah bahwa p dan q dinegasikan dan urutannya diubah . Jika demikian, maka q > disebut <pasangan kinematik>, dan keduanya sama satu sama lain. Oleh karena itu, jika < p , maka q > sama dengan <jika q tidak berlaku, maka p tidak berlaku>. Kondisi logika standar juga disebut alias <implikasi substansial>, dan seperti senyawa proposisional logika standar lainnya, kondisi ini ditentukan oleh nilai kebenaran p dan q , dan hanya jika p benar dan q salah. Salah dan benar dalam semua kasus lain ( p dan q benar, p salah dan q benar atau salah). Untuk implikasi substantif di atas, ada kondisi logika multi-nilai yang memungkinkan nilai benar atau salah dua atau lebih, dan logika modal yang menambahkan <aspek> seperti kebutuhan dan kemungkinan untuk proposisi, tetapi terutama dalam kasus terakhir. , Kondisi bahwa < p pasti q > disebut <implikasi ketat (atau kuat)>. Selain di atas, kondisi kontrafaktual yang sifatnya tidak selalu jelas, juga merupakan jenis kondisi sehari-hari yang penting. Selanjutnya, hubungan kausal juga termasuk dalam kondisi yang didefinisikan secara luas dan diubah menjadi kondisi logis dalam hal penanganan, tetapi esensi dari kondisi kausal tidak habis oleh logika, dan pandangan bahwa ia memiliki karakter non-pereduksi sendiri lebih dominan. ..
→ Kondisi perlu dan cukup