１.相容选言推理
根据相容选言命题的上述性质，相容选言推理的有效式包括：
（１）否定肯定式：如果一个相容选言命题否定其中的一个选言支，则必须肯定其中的另一个选言支。其形式是：
ｐ或者ｑ
非ｐ所以，ｑ
或者：
ｐ或者ｑ
非ｑ所以，ｐ
例如：
这首诗或者是唐朝人写的或者是宋朝人写的，
这首诗不是唐朝人写的，所以，这首诗是宋朝人写的。
或者：
这首诗或者是唐朝人写的或者是宋朝人写的，
这首诗不是宋朝人写的，所以，这首诗是唐朝人写的。
（２）肯定肯定式：肯定一个选言支，则必须肯定包含这个选言支的任一选言命题。其形式为：
ｐ且q所以，ｐ,ｑ
例如：
他是中国学者。所以，他是中国人,并且他是学者。
但是，由于相容选言命题的各个选言支可以同时成立，所以相容选言推理的肯定否定式是错误的：
ｐ或者ｑ
ｐ所以，非ｑ
或者：
ｐ或者ｑ
ｑ所以，非ｐ
例如：
陆游或者是诗人或者是南宋人，
陆游是诗人，所以，陆游不是南宋人。
或者：
陆游或者是诗人或者是南宋人，
陆游是南宋人，所以，陆游不是诗人。
这个推理是不成立的，因为陆游完全可以既是诗人，又是南宋人。这个推理的第一个前提是相容选言命题，不能由肯定它的一个选言支就去否定它的另一个选言支。陆游画像。陆游（１１２５—１２１０），南宋爱国诗人。一生创作的诗歌很多，现存有９０００多首，为现存诗歌最多的诗人。
