Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 2607:f8b0:4001:c05::22a as permitted sender) client-ip=2607:f8b0:4001:c05::22a;
MIME-Version: 1.0
Date: Sun, 5 Jan 2014 14:05:21 -0200
Message-ID: <CALMa68oYy61FYmv32h5QSbF1ah_Ps1W_SpT8pGd7wOo0f9eL-A@mail.gmail.com>
Subject: [lojban] [oz] Logical connectives
From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= <felipeg.assis@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=90e6ba6e8d1c68f8c504ef3b4f42
X-Spam_score: 0.1
X-Spam_score_int: 1
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  coi selpa'i I was puzzled by the use of logic connectives
   in several passages. E.g. (1) {zàsti fa no sai drùsro je no lolnitkù'a} (2)
    {no trìcu je no zdàni cu zvàti} [...] 
 
 Content analysis details:   (0.1 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (felipeg.assis[at]gmail.com)
  0.0 DKIM_ADSP_CUSTOM_MED   No valid author signature, adsp_override is
                             CUSTOM_MED
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 HTML_MESSAGE           BODY: HTML included in message
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_DKIM_INVALID         DKIM-Signature header exists but is not valid

--90e6ba6e8d1c68f8c504ef3b4f42
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

coi selpa'i

I was puzzled by the use of logic connectives in several passages. E.g.

(1) {z=E0sti fa no sai dr=F9sro je no lolnitk=F9'a}
(2) {no tr=ECcu je no zd=E0ni cu zv=E0ti}

I see there is some consistency in their correlation with quantifiers, but
still I don't get it. What is the logic behind them?

They are rejected by both camxes and jboski, but accepted by the parser you
indicated. Nevertheless, the parser also understands {ko'a je ko'e broda}
just like {ko'a .e ko'e broda}. Is it related to expansion order?

mu'o mi'e .asiz.

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

--90e6ba6e8d1c68f8c504ef3b4f42
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">coi selpa&#39;i<br><div><br>I was puzzled by the use of lo=
gic connectives in several passages. E.g.<br><br>(1) {z=E0sti fa no sai dr=
=F9sro je no lolnitk=F9&#39;a}<br>(2) {no tr=ECcu je no zd=E0ni cu zv=E0ti}=
<br><br>I see there is some consistency in their correlation with quantifie=
rs, but still I don&#39;t get it. What is the logic behind them?<br>
<br>They are rejected by both camxes and jboski, but accepted by the parser=
 you indicated. Nevertheless, the parser also understands {ko&#39;a je ko&#=
39;e broda} just like {ko&#39;a .e ko&#39;e broda}. Is it related to expans=
ion order?<br>
<br>mu&#39;o mi&#39;e .asiz.</div></div>

<p></p>

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

--90e6ba6e8d1c68f8c504ef3b4f42--