「신간선⇒일본의 메이커의 차량」은“true”이다.
그러나, 그 converse proposition인 「일본의 메이커의 차량⇒신간선」은“false”이다.
이것은, 「고양이라면 동물이다」는 성립되지만, 「동물이라면 고양이이다」는 성립되지 않는 것과 같다.
일본의 메이커가 유럽 규격에 맞추어 고속 철도 차량을 기획·설계하는 것은, 어려운 것은 아니다.
re:アメリカ FRA : ヨーロッパ規格電車のアメリカ運行を最初で許可
「新幹線⇒日本のメーカーの車両」は"true"である。
しかし、そのconverse propositionである「日本のメーカーの車両⇒新幹線」は"false"である。
これは、「猫ならば動物である」は成り立つが、「動物ならば猫である」は成り立たないのと同じである。
日本のメーカーがヨーロッパ規格に合わせて高速鉄道車両を企画・設計することは、難しいことではない。