Bikondicionális

(lat.:kétfeltételű), materiális ekvivalencia : egy => kondicionálás ból és megfordításából képzett konjunkció, azaz "(pSYMBOL 201 \f "Symbol"qSYMBOL 38 \f "Symbol"qSYMBOL 201 \f "Symbol"p)" szerkezetű mondat, melyet "pSYMBOL 186 \f "Symbol" q"-val jelölünk. A bikondicionális akkor és csak akkor igaz, ha két elemének igazságértéke azonos. Köznyelvi kifejezési formája "akkor és csak akkor, ha". - Ir. Pólos L.-Ruzsa I.: A logika elemei. Bp. 1987.

Péchy Benjamin

Szerkesztette: Lapoda Multimédia