常用逻辑用语：

四种命题及其关系，简单逻辑联结词，全称量词与特称量词，命题的否定与命题的否命题。常以客观题形式出现。

例1．已知圆M： ，直线l： ，下面四个命题：

A.对任意实数k与q，直线l和圆M相切；

B.对任意实数k与q，直线l和圆M有公共点；

C.对任意实数q，必存在实数k，使得直线l与和圆M相切

D.对任意实数k，必存在实数q，使得直线l与和圆M相切

其中真命题的代号是______________（写出所有真命题的代号）

分析：

本题是以直线与圆的位置关系为背景，涉及全称量词“任意”与特称量词“存在”。本题重点考查直线与圆的位置关系，弄清全称量词与特称量词的实质，灵活运用解决直线与圆的位置关系的方法处理问题的能力。处理直线与圆的位置关系通常有两种方法：一是利用圆心到直线的距离与半径的大小关系来判断；二是联立直线与圆的方程组成方程组，利用解的个数来判断。

解析：