日常推理的有效式——包括传统演绎逻辑的全部有效式——均可在W系统中得证。人类日常演绎推理迄今总结的全部类型共九大类：
| 类别 | 具体子项 |
|---|---|
| 基本逻辑规律（4种） | 同一律、排中律、不矛盾律、充足理由律 |
| 三段论与直言推理（2类） | 三段论24式、对当关系6种 |
| 假言推理（4种） | 肯定前件式、否定后件式、假言连锁、假言易位 |
| 选言与联言推理（3种） | 选言推理、二难推理、联言推理 |
| 充要条件推理（2种） | 单通道双向推演、多通道排除锁定 |
| 关系推理（4种） | 对称、反对称、传递、反传递 |
| 命题逻辑基本推理（4种） | 附加律、简化律、双否律、德摩根律 |
| 间接证明（3种） | 归谬法、反证法、反三段论律 |
| 经典逻辑未覆盖的日常推理模式（2种） | 可废止推理、无效蕴涵阻塞 |