اگر یک قضیه و عکس آن قضیه، هر دو درست باشند، به آن قضیه، قضیه دو شرطی گفته خواهد شد. به عنوان مثالی برای قضایای دو شرطی به قضیه تالس و عکس آن می توان اشاره کرد.