前件真后件假或者前件假后件真“只有p，非q”是必要条件假言命题的一般公式之一