すなわちformula_3という形式は、何の前提もなしに σ が成り立ち、(論理和として)恒真であることを意味する。