Nuprl Definition : eq_bool
p =b q == (p ∧b q) ∨b((¬bp) ∧b (¬bq))
Definitions occuring in Statement :
bor: p ∨bq,
band: p ∧b q,
bnot: ¬bb
Definitions occuring in definition :
bor: p ∨bq,
band: p ∧b q,
bnot: ¬bb
FDL editor aliases :
eq_bool
Latex:
p =b q == (p \mwedge{}\msubb{} q) \mvee{}\msubb{}((\mneg{}\msubb{}p) \mwedge{}\msubb{} (\mneg{}\msubb{}q))
Date html generated:
2016_05_13-PM-03_56_03
Last ObjectModification:
2015_09_22-PM-05_45_36
Theory : bool_1
Home
Index