Watter stellings is logies ekwivalent?
Watter stellings is logies ekwivalent?

Video: Watter stellings is logies ekwivalent?

Video: Watter stellings is logies ekwivalent?
Video: Gregory Chaitin: Complexity, Metabiology, Gödel, Cold Fusion 2024, April
Anonim

Die voorstelle gelyk is of logies ekwivalent as hulle altyd dieselfde waarheidswaarde het. Dit wil sê, p en q is logies ekwivalent as p waar is wanneer q waar is, en omgekeerd, en as p onwaar is wanneer q onwaar is, en omgekeerd. As p en q is logies ekwivalent , ons skryf p = q.

Net so, kan jy vra, wat beteken logies ekwivalent?

Logies ekwivalensie vind plaas wanneer twee stellings dieselfde waarheidswaarde het. Hierdie beteken dat een stelling waar kan wees in sy eie konteks, en die tweede stelling kan ook waar wees in sy eie konteks, hulle moet net albei dieselfde betekenis hê.

Mens kan ook vra, is kontrapositief logies ekwivalent? Meer spesifiek, die kontrapositief van die stelling "as A, dan B" is "indien nie B nie, dan nie A nie." 'n Verklaring en sy kontrapositief is logies ekwivalent , in die sin dat as die stelling waar is, dan is dit kontrapositief is waar en omgekeerd.

Mense vra ook, wat is logies gelykstaande aan P en Q?

By definisie, p q is onwaar as, en slegs as, sy hipotese, bl , is waar en die gevolgtrekking daarvan, q , is vals. Die omgekeerde en omgekeerde van 'n voorwaardelike stelling is logies ekwivalent aan mekaar, maar nie een van hulle is nie logies ekwivalent na die voorwaardelike verklaring.

Wat is logiese ekwivalensie in wiskunde?

Logiese ekwivalensie is 'n tipe verwantskap tussen twee stellings of sinne in proposisionele logika of Boolese algebra. Die verhouding vertaal mondelings in "as en slegs as" en word gesimboliseer deur 'n dubbellynige, dubbele pyl wat na links en regs wys ().

Aanbeveel: