De facto
Berdasarkan sifatnya, "de facto" terbagi dua yaitu:
"De facto" bersifat sementara adalah pengakuan dari negara lain tanpa melihat perkembangan negara tersebut. Apabila negara tersebut hancur, maka negara lain akan menarik pengakuannya.
"De facto" bersifat tetap adalah pengakuan dari negara lain terhadap suatu negara yang hanya bisa menumbulkan hubungan di bidang perdagangan dan ekonomi.
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.