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-

Sdílet: Facebook Twitter

Reklama: