View source for predi

==== valsi ====
predi
==== type ====
experimental gismu
==== creator ====
[[personal/mulzuhes|mulzuhes]]
==== time entered ====
Fri May 13 11:13:49 2016
 
== English ==
=== Definition #68652 ===
 
==== definition ====
x<sub>1</sub> is a predicate; x<sub>2</sub> are the domains of each argument; x<sub>3</sub> is the truth-table
==== notes ====
x<sub>1</sub> is [str]. x<sub>2</sub> is [list - set]. x<sub>3</sub> is [map - proposition : bool].
==== jargon type ====
Predicate
==== gloss words ====

<ul><li>[[natlang/en/Predicate|Predicate ; Logic]]</li></ul>

==== place keywords ====

	1.
          [[natlang/en/Predicate|Predicate ; Logic]]
<br/>
	2.
          [[natlang/en/Universe of discourse|Universe of discourse ; Logic]]
<br/>
	3.
          [[natlang/en/Truth table|Truth table ; Logic]]
<br/>

==== created by ====
[[personal/mulzuhes|mulzuhes]]
==== vote information ====
-2
     
==== time ====
Sun Jun 12 12:04:56 2016


=== Etymology ===