Impor eksistensial , dalam silogistik, implikasi logis oleh proposisi universal (yaitu, proposisi bentuk "Semua S adalah P" atau "Tidak S adalah P") dari pernyataan khusus yang sesuai (yaitu, "Beberapa S adalah P" atau “Beberapa S bukan P,” masing-masing). Validitas beberapa tokoh silogisme ( lihat silogisme) bergantung pada apakah pernyataan universal diinterpretasikan sebagai memiliki impor eksistensial.
Artikel ini baru saja direvisi dan diperbarui oleh Brian Duignan, Editor Senior.