lojysra

valsi

lojysra

type

lujvo

creator

varikvalefor

time entered

Tue May 31 19:27:13 2022  

English

Definition #72903

 

definition

x₁, which is a document/spoken thing/whatever, proves theorem/predicate x₂ and involves logical/knowledge domains x₃.

jargon type

logic

gloss words

• proof ; formal proof

created by

varikvalefor

vote information

1

time

Sat Aug 6 09:46:04 2022

Examples

---

lojban

Definition #72904 - Preferred

 

definition

x₁ poi se cusku cu mulno logji bo ciksi le du'u x₂ poi me'oi .theorem. gi'a bridi cu jetnu kei gi'e se sarji pe'a x₃ poi logji ja kampu bo selju'o klesi

jargon type

logji

gloss words

• proof

created by

varikvalefor

vote information

1

time

Sat Aug 6 09:45:37 2022

Examples

---