Baseia na lógica de que a verdade de uma sentença implica automaticamente na verdade de outra, e, adicionalmente, o conteúdo expresso na segunda se...
Baseia na lógica de que a verdade de uma sentença implica automaticamente na verdade de outra, e, adicionalmente, o conteúdo expresso na segunda sentença está incluído na primeira. A afirmativa acima se refere à/ao: