“只有,才”是表示必要条件的真值联接词.p←q,可以变换为另一种记法：非p→非q.必要条件是“无之必不然,有之未必然”.譬如“不入虎穴（非p）不得虎子（非q）”,强调的是只有具备p这个必要条件,才可能有q；它排除的是“非p”但有“q”的情形.你可以从真值表把握它的界定：
p q p←q
0 0 1
0 1 0
1 0 1
1 1 1