真假能判是命题，条件结论很清楚。命题形式有四种，分成两双同真假。若P则q真命题，P是q充分条件，q是p必要条件，原逆皆真称充要。逻辑联词或且非，或命题一真就真，且命题全真才真，非命题真假交换。量词一般有两个，全称量词所有的，存在量词有一个，若要否定变形式。