「Z844」:各本之異
translated into gurenɛ |
add iff, etc. |
||
第三六九行: | 第三六九行: | ||
"Same", |
"Same", |
||
"XNOR", |
"XNOR", |
||
"identity relation (Boolean)" |
"identity relation (Boolean)", |
||
"biconditional", |
|||
"if and only if", |
|||
"iff" |
|||
] |
] |
||
}, |
}, |
二〇二四年五月二六日 (日) 〇〇時五〇分之今審
此頁面以沒有JavaScript的方式顯示