A是C；所以有些B是C”是有效形式。
例子.考虑下列论证形式，其中P、Q和A表示未分析的或未解释的句子。实际论证的有效性可以通过把它转换到一个论证形式中，并接着分析这个论证形式的有效性来确定。（上述论证形式是有效的，参见三段论。）