Date: Mon, 2 Feb 2015 13:40:00 -0800 (PST)
From: ravas <ravas@outlook.com>
To: lojban-beginners@googlegroups.com
Message-Id: <ddf9bf79-6666-498a-a15b-9b960419b8f8@googlegroups.com>
Subject: [lojban-beginners] ganai-gi and if-then
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_2918_2084143343.1422913200593"
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
Sender: lojban-beginners@googlegroups.com
X-Spam_score: 0.8
X-Spam_score_int: 8
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
 @@CONTACT_ADDRESS@@ for details.
 
 Content preview:  *first second result* True True True True False True False
    True True False False False ... *Perhaps the most important of the truth
   functions commonly expressed in forethought is TFTT, which can be paraphrased
    as “if ... then ... ”* ... [...] 
 
 Content analysis details:   (0.8 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: googlegroups.com]
  2.7 DNS_FROM_AHBL_RHSBL    RBL: Envelope sender listed in dnsbl.ahbl.org
                             [listed in googlegroups.com.rhsbl.ahbl.org.	IN]
                             [A]
 -0.0 RCVD_IN_MSPIKE_H2      RBL: Average reputation (+2)
                             [209.85.220.62 listed in wl.mailspike.net]
  0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail
                             domains are different
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (ravas[at]outlook.com)
  0.0 HTML_MESSAGE           BODY: HTML included in message
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and
                             EnvelopeFrom freemail headers are different
Content-Length: 3902

------=_Part_2918_2084143343.1422913200593
Content-Type: multipart/alternative; 
	boundary="----=_Part_2919_591399584.1422913200593"

------=_Part_2919_591399584.1422913200593
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

*first second result*
True  True   True
True  False  True
False True   True
False False  False

...

*Perhaps the most important of the truth functions commonly expressed in=20
forethought is TFTT, which can be paraphrased as =E2=80=9Cif ... then ... =
=E2=80=9D*
...

8.3)   ro da zo'u ganai da klama le zarci gi cadzu le foldi
       For-every X: if X is-a-goer-to the store then X is-a-walker-on the=
=20
field.

----

Why is ganai-gi (TFTT) the preferred gek-gik structure for "if...then..."?
Given my limited understanding of "truth functions" it seems like ge-gi=20
(TFFF) is clearer.=20
Isn't the first row the only thing we want to result in True?

Something else I don't understand:
*"Since GA cmavo precede the first bridi, a following =E2=80=9Cnai=E2=80=9D=
 negates the=20
first bridi instead."*

Why are we negating anything?
Aren't we trying to assert both bridi are true?

--=20
You received this message because you are subscribed to the Google Groups "=
Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.

------=_Part_2919_591399584.1422913200593
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><span style=3D"font-family: courier new,monospace;"><u>fir=
st     second     result</u><br>True&nbsp;     True&nbsp;&nbsp;     True<br=
>True&nbsp; False&nbsp; True<br>False     True&nbsp;&nbsp;     True<br>Fals=
e     False&nbsp; False</span><br><br>...<br><br><i>Perhaps the most import=
ant of the truth functions commonly expressed in forethought is TFTT, which=
 can be paraphrased as =E2=80=9Cif ... then ... =E2=80=9D</i><br>...<br><br=
>8.3)&nbsp;&nbsp; ro da zo'u ganai da klama le zarci gi cadzu le foldi<br>&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; For-every X: if X is-a-goer-to the stor=
e then X is-a-walker-on the field.<br><br>----<br><br><span style=3D"font-f=
amily: verdana,sans-serif;">Why is ganai-gi (TFTT) the preferred gek-gik st=
ructure for "if...then..."?<br>Given my limited understanding of "truth fun=
ctions" it seems like ge-gi (TFFF) is clearer. <br>Isn't the first row the =
only thing we want to result in True?</span><br><span style=3D"font-family:=
 verdana,sans-serif;"><br>Something else I don't understand:</span><br><i>"=
Since GA cmavo precede the first bridi, a following =E2=80=9Cnai=E2=80=9D n=
egates the first bridi instead."</i><br><span style=3D"font-family: verdana=
,sans-serif;"><br>Why are we negating anything?<br>Aren't we trying to asse=
rt both bridi are true?</span><br></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;Lojban Beginners&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban-beginners+unsubscribe@googlegroups.com">lo=
jban-beginners+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban-beginners@goo=
glegroups.com">lojban-beginners@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban-beginn=
ers">http://groups.google.com/group/lojban-beginners</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_2919_591399584.1422913200593--
------=_Part_2918_2084143343.1422913200593--