命題「AならばB」に対し、

対偶：「BでないならAでない」
逆：「BならばA」
裏：「AでないならBでない」


シンギュラリティならば衣食住フリー

衣食住フリーでないならシンギュラリティでない