algebra výroků
Matematika
Název používaný někdy pro výrokový kalkul (počet). Schematické srovnání odpovídajících si symbolů a formulí algebra výroků a algebry (teorie) množin tvoří dvojice:
A, B označení množin a p, q označení výroků
∩ průnik a U sjednocení
∧ konjunkce a V disjunkce
- doplněk a - negace
= rovnost a ≡ ekvivalence
⊂ inkluze a → implikace
Vytvořeno:
14. 3. 2000
Aktualizováno:
7. 9. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!