Никогда не слышал чтобы использовали выражение "по причине", а "вследствие" конечно используют, но сомневаюсь что в этом есть хоть намёк на причинно-следственную связь.
Тут можно посоветовать воспользоваться, например, .gramota.ru. Вот я нашёл там
словарную ссылку.
Это странно, конечно, не находить намёка на причинно-следственныую связь там, где слова "причина" и "следствие" употребляются напрямую. Собственно, понятие причинно-следственной связи от этих слов и происходит.
-- добавлено через 2 минуты --1. на каком множестве определена импликация, как бинарное отношение?
2. на каком множестве определена выводимость, как бинарное отношение?
1. На множестве предложений языка.
2. Аналогично.
-- добавлено через 2 минуты --Это уважаемого epros удивляет. Он всё про импликацию и выводимость.
Меня не удивляет. Я Вам давно толкую о том, что:
выводимость (наличие конечного вывода) тоже предпорядок на множестве предложений какого-то языка
-- добавлено через 2 минуты --Для выводимости асимметрия\антисимметрия не выполняется
Кстати, я Вам писал уже, что антисимметричность тоже выполняется, если равносильность трактовать как равенство.