From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word tsida -- By krtisfranks
Date: Sun, 18 Sep 2016 01:13:18 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1blXDy-0003m5-Pv@stodi.digitalkingdom.org>
X-Spam_score: 0.5
X-Spam_score_int: 5
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  In jbovlaste, the user krtisfranks has edited a definition
    of "tsida" in the language "English". Differences: 2,2c2,2 < $x_1$ is a logical
    statement of proposition-equivalence/is a biconditional/IFF statement saying
    that $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically
    equivalent to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing
    the truth of $x_3$; $x_2$ iff $x_3$"). --- > $x_1$ is a logical statement
    of proposition-equivalence/is a biconditional/'IFF' statement saying that
    $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically equivalent
    to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing the
    truth of $x_3$; $x_2$ iff $x_3$"). 11a12,12 \n> Word: iff statement, In Sense:
    15,15d15 < Word: iff statement, In Sense: \n [...] 
 
 Content analysis details:   (0.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: lojban.org]
  1.4 RCVD_IN_BRBL_LASTEXT   RBL: No description available.
                             [173.13.139.235 listed in bb.barracudacentral.org]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0009]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user krtisfranks has edited a
definition of "tsida" in the language "English".

Differences:

2,2c2,2
< 		$x_1$ is a logical statement of proposition-equivalence/is a biconditional/IFF statement saying that $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically equivalent to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing the truth of $x_3$; $x_2$ iff $x_3$").
---
> 		$x_1$ is a logical statement of proposition-equivalence/is a biconditional/'IFF' statement saying that $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically equivalent to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing the truth of $x_3$; $x_2$ iff $x_3$").
11a12,12
\n> 		Word: iff statement, In Sense: 
15,15d15
< 		Word: iff statement, In Sense: 
\n

Old Data:

	Definition:
		$x_1$ is a logical statement of proposition-equivalence/is a biconditional/IFF statement saying that $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically equivalent to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing the truth of $x_3$; $x_2$ iff $x_3$").

	Notes:
		$x_2$ and $x_3$ are mutually symmetric under exchange. This word is to {jo} as {kanxe} is to {je}. See also: {kanxe}, {vlina}, {ribga}, {sigda}, {jo}.

	Jargon:
		

	Gloss Keywords:
		Word: biconditional statement, In Sense: 
		Word: IFF statement, In Sense: 
		Word: logical equivalence, In Sense: 
		Word: material equivalence, In Sense: 
		Word: iff statement, In Sense: 

	Place Keywords:


New Data:

	Definition:
		$x_1$ is a logical statement of proposition-equivalence/is a biconditional/'IFF' statement saying that $x_2$ (du'u) is true if and only if $x_3$ is true ("$x_2$ is logically equivalent to $x_3$; $x_2$ being true is sufficient and necessary for guaranteeing the truth of $x_3$; $x_2$ iff $x_3$").

	Notes:
		$x_2$ and $x_3$ are mutually symmetric under exchange. This word is to {jo} as {kanxe} is to {je}. See also: {kanxe}, {vlina}, {ribga}, {sigda}, {jo}.

	Jargon:
		

	Gloss Keywords:
		Word: biconditional statement, In Sense: 
		Word: iff statement, In Sense: 
		Word: IFF statement, In Sense: 
		Word: logical equivalence, In Sense: 
		Word: material equivalence, In Sense: 

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/tsida> to see it.