De facto
Suatu standar de facto adalah suatu standar teknis atau lainnya yang sudah demikian lazim sehingga semua orang tampaknya mengikutinya seolah-olah itu adalah standar yang resmi. Standar "de jure" mungkin berbeda: contohnya adalah ngebut di jalan raya. Meskipun standar "de jure" menetapkan batas kecepatan tertentu atau yang lebih rendah, di banyak tempat standar "de facto"-nya adalah mengendarai pada batas kecepatan yang ditetapkan atau sedikit lebih cepat.
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.