>>381
普通に論理学の記号使っただけで変な数式でもなんでも無いんだけど？

言い方変えるなら
「BがAを攻撃している。その状況下でCがBを攻撃するならばCは間接的にAの味方であると言える」
ってこと。