t_wの輪郭

否定全称
全称否定判断