algebra výroků

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

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 7. 9. 2006
Autor: -red-

Reklama: