Argumen

Argumen adalah kumpulan pernyataan, baik tunggal maupun majemuk dimana pernyataan-pernyataan sebelumnya disebut premis-premis dan pernyataan terakhir disebut konklusi/ kesimpulan dari argumen. 

 Contoh:

1.  p → q

2.  p / ∴ q

1.  ( p → q ) ∧ ( r → s )

2.  ~ q v ~ s / ∴ ~ p v ~ r

1.  p

2.  q /  ∴ p  q