-是否的意思。
设宴席为q，散去为p，这句话意思所有宴席都会散去，q→p。
设金子为q，闪光为p，金子一定闪光，q→p。
3456不懂，或者这么说，不是所有句子都能符号化。
比如，鸟会飞，是判断句能符号化。
鸟在飞，不是判断句不能符号化。
