Term universal adalah istilah dalam logika yang digunakan untuk menyatakan suatu kategori atau konsep yang mencakup semua anggota dari kelas tersebut, tanpa pengecualian. Dalam konteks logika, istilah "universal" sering kali berhubungan dengan klaim yang mencakup keseluruhan dari suatu subjek, yang dalam silogisme disebut sebagai premis mayor.

Ciri-ciri Term Universal:

1. Mencakup Semua: Term universal menyatakan bahwa semua objek atau individu yang termasuk dalam kategori tersebut memiliki sifat atau ciri tertentu.

   • Contoh: "Semua manusia adalah makhluk hidup" (term universal: "semua manusia").

2. Tidak Ada Pengecualian: Tidak ada anggota dari kelas tersebut yang dikecualikan dari klaim tersebut.

   • Contoh: "Setiap siswa di kelas ini harus mengerjakan tugas" (term universal: "setiap siswa").

Contoh Term Universal dalam Silogisme:

• Premis Mayor (universal): Semua manusia adalah makhluk hidup.
• Premis Minor (kasus spesifik): Socrates adalah seorang manusia.
• Kesimpulan: Socrates adalah makhluk hidup.

Dalam contoh ini, "semua manusia" adalah term universal karena menyatakan bahwa setiap individu dalam kategori manusia memiliki sifat sebagai makhluk hidup, tanpa terkecuali.

Jenis Klaim Universal:

• Klaim universal afirmatif: Menyatakan bahwa semua anggota suatu kelas memiliki sifat tertentu. Misalnya, "Semua burung bisa terbang."
• Klaim universal negatif: Menyatakan bahwa tidak ada anggota suatu kelas yang memiliki sifat tertentu. Misalnya, "Tidak ada ikan yang bisa terbang."

Jadi, term universal adalah istilah yang digunakan untuk mendeskripsikan kategori yang mencakup seluruh anggota dalam kelas tersebut dalam suatu pernyataan atau klaim.