Кейде оны қосарланған импликация деп те атайды. Ол « р ↔ q» таңбамен белгіленеді. Мысалдар: 1)«Егер, тек қана тікбүрышгар тең қабырғалы болса, онда ол — шаршы» 2) «Егер, тек қана егер адам зейнеткер жасқа жетсе, онда ол жасына байланысты зейнетақы алуға құқықты» 3) «Егер, тек қана егер пассажир Ұлы Отан соғысының ардагері болса, онда ол қоғамдық транспортта жол ақысын төлемей жүруге құқылы»
Тепе-тең (эквивалентті) пайымдаудың ақиқаттығы
р
q
р ↔ q
а
а
а
а
ж
ж
ж
а
ж
ж
ж
а
Тепе-тең (эквивалентті) күрделі пайымдау оны құрайтын қарапайым пайымдаулардың екеуі де бірдей не ақиқат, не жалған болғанда ғана ақиқат болады. Оны мына кестеден көруге болады: Бұл кестеден шығарылатын қорытынды: 1.Антецеденттің (p) ақиқаттығы консеквенттің (q) ақиқаттығына жеткілікті дәлел бола алғандықтан эквивалентті пайымдау ақиқат болады; 2.Антецедент (p) де, консеквент (q) де жалған болса да, олардан құралған эквивалентті пайымдау ақиқат болады; 3. Антецеденттің (p) ақиқаттығы консеквенттің (q) ақиқаттығына жеткілікті дәлел болмағандықтан және антецеденттің (p) жалғандығы консеквенттің (q) ақиқаттығын жеткілікті терістей алмағандықтан, олардан құралатын эквивалентті пайымдау жалған болады
Әдебиеттер
1.Аристотель Органон // соч.: в 4т. Т.2.- М., 1976. 2. Мұхамбеталиев Қ.М Логика. - Алматы, 2002 3. Ыскакова Р.У., Габитов Т.Х. Логика. Оқу құралы, заң мамандыктарына арналган. 2-шi басыл., оңделген. - Алматы: Раритет, 2004. 232 б. 4. Кириллов В.И., Старченко А.А. Логика: учебник для юридических вузов. — Изд. 6-е, перераб. и доп. - М. : ТК Велби, Изд-во Проспект, 2008. - 240 с. 5. Асмус В. Логика. – М.,1999. - 362 с.
