لێکپێچراوی

لە لۆژیک و ماتماتیکدا، لێکپێچراوی (bidirectional implication یا biimplication) یا دوومەرجیی لۆژیکی (logical biconditional) یا ھاوسەنگی (equivalence) یا بەشوێنیەکداھاتن (bientailment) گرێدەرێکی لۆژیکییە کە بۆ پێکبەستنەوەی دوو وتەی P و Q و دروستکردنی وتەی «P ئەگەر و تەنیا ئەگەر Q»، بە کار دێ. لەم حاڵەتە، بە P دەڵێن پێشەنگ و بە Q دەڵێن شوێنکەوتوو. P و Q بە چەشنێ لە نێو یەکترا پێچراونەتەوە کە بوونی یەکیان ھاوسەنگی بوونی ئەوی تریانە، یا ھەر کامەیان مەرجە بۆ ئەوی تر.

بۆ نیشاندانی لێکپێچراوی یا ھاوسەنگیی دوو قەزیە، یەکێک لەم سیمبۆلانە بە کار دەبرێ: $\leftrightarrow ,\iff ,\equiv$

خشتەی دروستییەکەی ئاوەھا دەبێ:

$A$	$B$	$A\leftrightarrow B$
F	F	T
F	T	F
T	F	F
T	T	T

سەرچاوەکان

• Discrete Math