Sebuah argumen adalah rangkaian pernyataan; pernyataan terakhir disebut kesimpulan , sedangkan pernyataan lainnya disebut premis.

Suatu argumen disebut sahih apabila kesimpulannya pasti benar setiap kali semua premisnya benar. Suatu argumen tidak sahih jika argumen tersebut tidak sahih; artinya, semua premis dapat benar, tetapi kesimpulannya masih mungkin salah.

Suatu argumen disebut kukuh apabila argumen itu sahih dan semua premisnya benar. Sebuah bukti atas suatu pernyataan adalah argumen kukuh yang kesimpulannya merupakan pernyataan tersebut.