A para todas as linhas da tabela verdade em que as premissas forem verdadeiras a conclusão também for verdadeira.
B para todas as premissas falsas existir uma negação que gere uma conclusão verdadeira.
C para todas as conclusões falsas da tabela as premissas forem consideradas como verdadeiras.
D existirem apenas conclusões falsas, se e somente se as premissas forem verdadeiras.
E existirem apenas conclusões verdadeiras, independente do valor atribuído às premissas.