[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
logical connection
- To: John Cowan <cowan@SNARK.THYRSUS.COM>, Eric Raymond <eric@SNARK.THYRSUS.COM>, Eric Tiedemann <est@SNARK.THYRSUS.COM>
- Subject: logical connection
- From: CJ FINE <cbmvax!uunet!BRADFORD.AC.UK!C.J.Fine>
- Reply-To: CJ FINE <cbmvax!uunet!BRADFORD.AC.UK!C.J.Fine>
- Sender: Lojban list <cbmvax!uunet!CUVMA.BitNet!pucc.PRINCETON.EDU!LOJBAN>
A simple question of semantics:
In a logical connection with an unspecified sumti, are the branches of
the connection to be construed with the SAME value for the sumti or are
they independently unspecified?
i.e. If
mi klama la lidz. .e la bradfrd.
is true, it follows that
mi klama la lidz. zo'e .ije mi klama la bradfrd. zo'e
but does the stronger claim follow that
su'oda zo'u mi klama la lidz. da .ije mi klama la bradfrd. da
?