De jure
Istilah "de jure" dan "de facto" digunakan sebagai ganti "pada prinsipnya" dan "pada praktiknya", ketika orang menggambarkan situasi politik. Suatu praktik dapat terjadi "de facto", apabila orang menaati suatu kontrak seolah-olah ada hukum yang mengaturnya meskipun pada kenyataannya tidak ada. Suatu proses yang dikenal sebagai "desuetude" dapat memungkinkan praktik-praktik "de facto" menggantikan hukum-hukum yang sudah ketinggalan zaman. Di pihak lain, suatu praktik mungkin tercantum di dalam peraturan atau "de jure", sementara pada kenyataannya tidak ditaati atau diikuti orang.
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.