View source for zbalogji

==== valsi ====
zbalogji
==== type ====
lujvo
==== creator ====
[[personal/lalxu|lalxu]]
==== time entered ====
Sat Aug  4 21:18:06 2018
 
== English ==
=== Definition #71025 - Preferred ===
 
==== definition ====
x<sub>1</sub> is intuitionistic logic / constructive logic for inferring/deducing x<sub>2</sub> (du'u)
==== notes ====
This is [[fadylogji|fadylogji]] without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence "[[zbasu|zbasu]]"/"constructive".) See also [[xaklogji|xaklogji]].
==== gloss words ====

<ul><li>[[natlang/en/constructive logic|constructive logic]]</li><li>[[natlang/en/intuitionistic logic|intuitionistic logic]]</li></ul>

==== created by ====
[[personal/lalxu|lalxu]]
==== vote information ====
1
     
==== time ====
Sun Aug  5 01:26:34 2018



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===