Encyklopédia Young Scientist

  1. encyklopédia
  2. logika

« (3) ekonomický rast :: hore :: (4) elektrické pole »

ekvivalentor

Autor: RNDr. Marián Olejár

    logika:
    Ekvivalentor je logická spojka "vtedy a len vtedy, keď", pomocou ktorej tvoríme zložený výrok alebo výrokovú formu, ktorú nazývame ekvivalencia.
    Na označenie ekvivalentora používame symboly: `harr`, `<=>`, `-=`, ... .
    Je to funktor ekvivalencie.
    V angličtine ekvivalentor je slovné spojenie: "if and only if" a jeho skratka je iff.

Viď aj:logika, výrok,
  1. encyklopédia
  2. logika

« (3) ekonomický rast :: hore :: (4) elektrické pole »

Pridané: 10/08/04 Posledná zmena: 15/03/07
Citujte toto encyklopedické heslo ako:
Text: RNDr. Marián Olejár: ekvivalentor; encyklopédia www.ys.sk
Odkaz: http://www.ys.sk/heslo/ekvivalentor.php

Verzia pre PC: Encyklopédia YS, ekvivalentor
(c) 2007, Marián Olejár, Jr.
All rights reserved.
kontakt: marianolejar (zavinac) yahoo (bodka) com