a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi skifa
type experimental gismu
creator krtisfranks
time entered Sun Sep 18 07:11:37 2016

Definition #68905 [edit]
definition x1 is a logical statement which says that x2 (du'u) being true logically implies (material implication) x3 being necessarily true, but in which the converse does not hold (it is certain that there are cases in which 'IFF' fails: x2 is not necessary for x3).
notes Strict-'IF'; the truth of x2 guarantees the truth of x3 but the truth of x3 gives no indication about the truth of x2 (in general). This word is like kanxe. See also: sigda.
gloss words
created by krtisfranks
vote information 0
time Sun Sep 18 09:09:17 2016


krtisfranksEnglish "strict IF".[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?