جُمْلَة 1: إِنْ نَستَعملُ آلةَ تورينج مُتَبَدِّلَةً ، فَلَنَا مَوَدَّةُ ATIME. جملة 2: إِذَا كَانَ عِنْدَنَا آلَة تُورِينْ مُتَبَدِّلَة ، نَستَخدِمُ المَوَارِدَ ATIME. سُؤَالٌ: هَلْ جُمْلَةُ 1 وَجُمْلَةُ 2 تَعْبُرَانِ عَنِ الْمَعْنَى؟ نَعَمْ أَوْ لا؟