Логичка еквиваленција

Из Википедије, слободне енциклопедије

У логици, једначине и неједначине p и q су међусобно еквивалентне (лат. aeque—једнако) ако имају исти скуп решења. Другим речима, кад се за два израза каже да су еквивалентни, значи да из једног израза следи други и обрнуто. Еквиваленција се може записати на следеће начине: p ⇔ q, p ≡ q или Epq. Исти симболи се користе за приказивање еквивалентних матрица.

Види још[уреди]


Литература[уреди]

  • Elliot Mendelson, Introduction to Mathematical Logic, second edition, 1979.