Ada tiga hukum dasar yang sering muncul. Pertama, Modus Ponens, jika P maka Q dan diketahui P, maka hasilnya Q. Kedua, Modus Tollens, jika P maka Q dan diketahui negasi Q, maka hasilnya negasi P. Ketiga, Silogisme, jika P maka Q dan Q maka R, maka hasilnya P maka R.