前提条件のタイプ

また，前提条件は確認方法の違いから以下の2タイプに分類できる.

正否確認タイプ：

ある事象が文脈上に明示・非明示であることを確認するタイプで,単事象に関す る前提条件である.

（例） 他者Prが存在する

連鎖確認タイプ：

ある事象とその事象から連鎖する事象を確認するタイプで,事象と事象の因果関 係や流れなどを表した前提条件である.

（例）プランPには対象Nが必要