De facto
Istilah ini biasa digunakan sebagai kebalikan dari "de jure" (yang berarti "menurut hukum") ketika orang mengacu kepada hal-hal yang berkaitan dengan hukum, pemerintahan, atau hal-hal teknis (seperti misalnya standar), yang ditemukan dalam pengalaman sehari-hari yang diciptakan atau berkembang tanpa atau berlawanan dengan peraturan. Bila orang sedang berbicara tentang suatu situasi hukum, "de jure" merujuk kepada apa yang dikatakan hukum, sementara "de facto" merujuk kepada apa yang terjadi pada praktiknya.
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.