predi

valsi

predi

type

experimental gismu

creator

mulzuhes

time entered

Fri May 13 11:13:49 2016  

English

Definition #68652

 

definition

x₁ is a predicate; x₂ are the domains of each argument; x₃ is the truth-table

notes

x₁ is [str]. x₂ is [list - set]. x₃ is [map - proposition : bool].

jargon type

Predicate

gloss words

• Predicate ; Logic

place keywords

1.

         Predicate ; Logic

2.

         Universe of discourse ; Logic

3.

         Truth table ; Logic

created by

mulzuhes

vote information

-2

time

Sun Jun 12 12:04:56 2016