Koyut

Koyut, bir vargıyı desteklemek amacıyla öne sürülen bir önermedir. Koyutlar, iddiaları desteklemek veya çürütmek için gerekçeler sunarak argümanların başlangıç noktalarını oluşturan doğru ya da yanlış ifadelerdir. Her argüman, bir koyutlar kümesi ile bir vargıdan oluşur. Örneğin, "Bütün insanlar ölümlüdür" ve "Sokrates bir insandır" koyutları, "Sokrates ölümlüdür" vargısını zorunlu kılar. Gündelik dilde koyutlar, çoğunlukla -den dolayı ve çünkü gibi gösterge sözcükleriyle belirtilerek bir metnin ortasında yer alabilir. Biçimsel mantıkta ise yaygın bir yaklaşım, her koyutun standart biçim olarak bilinen yöntemde ayrı bir satıra yazılmasıdır.