Логички двоуслов: Разлика помеѓу преработките

Во [[логика]]та и [[математика]]та, '''логичкиот двоуслов''' (наречен и '''материјален двоуслов''' или '''бикондиционал''') е [[логички опратор]] кој поврзува два исказа „''p'' [[ако и само ако]] ''q''“, каде ''p'' е ''[[хипотеза]]'' (или ''претходник''), а ''q'' е ''[[логичко следство|заклучок]]'' (или ''следственик'').<ref>Handbook of Logic, стр. 81</ref> Овој оператор се означува со двострана стрелка (↔), знак за еднаквост (=), знак за еквиваленција (≡), или пак ''EQV''. Ова е логички еквивалентно на (p → q) ∧ (q → p), или [[Булова функција|Буловиот оператор]] ИЛЛИЕКСИЛИ (исклучително НИЛИ) . Ова е еквивалентно на „(не p или q) и (не q или p)“. Логички е еквивалентно и на „(не p и не q) или (p и q)“.

* [[ИЛЛИЕКСИЛИ порта]]