De facto
De facto dalam bahasa Latin adalah ungkapan yang berarti "pada kenyataannya (fakta)" atau "pada praktiknya". Dalam hukum dan pemerintahan, istilah ini mengacu praktik yang sudah terjadi, meski hal tersebut tidak diakui secara resmi di mata hukum.
Logika
Penalaran deduktif, kadang disebut logika deduktif, adalah penalaran yang membangun atau mengevaluasi argumen deduktif. Argumen dinyatakan deduktif jika kebenaran dari kesimpulan ditarik atau merupakan konsekuensi logis dari premis-premisnya. Argumen deduktif dinyatakan valid atau tidak valid, bukan benar atau salah. Sebuah argumen deduktif dinyatakan valid jika dan hanya jika kesimpulannya merupakan konsekuensi logis dari premis-premisnya.