geology: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


Strictly speaking, DeMorgan's Law is the rule about the transfer of negation over "and" and "or" (inclusive)that says change "and" to "or" and conversely and change the signs of all the parts and wholes. That is
== Rock layers or geological periods ==


*~(p & q) <=> ~p v ~q
*Cretaceous (''bakrycedra'')
*~(p v q) <=> ~p & ~q


*and all the other combinations where one or the other parts has a negation, for example ~(p & ~q) <=> ~p v q.
==== Types of rock ====


(Students of digital logic will recall the above from their introductary course in the subject.)
*Quartz (''cankrili'')
*Bauxite (''bauksita'')


In practice, however, the name is often used for the almost entirely analogous rule for moving negations across quantifiers, especially universal and particular ones. The rule then is analogous: change initial sign and sign before the component and change the quantifier from the one to the other:
*Diamond (''tabjme'')


*AxFx <=> ~Ex~Fx
==== Types of crystal (''terkrili'') ====
*ExFx <=> ~Ax~Fx


*and all the variations with different initial placements of negations, e.g., Ax~Fx <=> ~ExFx.
*Face-centered cubic (''terkubmidju kubytai'')
 
*Body-centered cubic (''xadmidju kubytai'')
The reason it works with the universal and particular quantifiers is that.
 
**ExFx (to use the same notation) is equal to Fx1 v Fx2 v Fx3 v ... v Fxn for all possible values of n
 
while
 
**AxFx is equal to Fx1 & Fx2 & Fx3 & ... & Fxn for all possible values of n
 
(Provided that every item in the universe of discourse is assigned at least one xi.  The intuition is correct, however, just generalized to the (possibly) infinite case. pc)
 
The extended use is somewhat complicated by the differences between quantifiers with and those without [[jbocre: existential import|existential import]]. Moving negation changes one of these into the other as well as changing sign and quantity.  However, Lojban sumti are importing unless specially marked (and what that mark is to be is open to some discussion), so this problem can be ignored in most practical cases.  The peculiar standard quantifier O ("Some S are not P") has some suggested expressions, which relieve a gap in Lojban: {da'a su'o} or {me'i ro} are leading possibilities.
 
Fractional quantifiers have also been dealt with.  {piro}, since it names a single complete individual (unusual in Lojban), is unaffected by the passage of {naku}.  {pisu'o} and {pi n} generally is treated as though {pi n lo broda} were "su'o lo pi n lo broda} and the changes occur on the outer quantifier.
 
The question of the effect of "negations" other than {naku} has arisen and is being worked over -- for {na'e} at least.

Revision as of 16:50, 4 November 2013

Rock layers or geological periods

  • Cretaceous (bakrycedra)

Types of rock

  • Quartz (cankrili)
  • Bauxite (bauksita)
  • Diamond (tabjme)

Types of crystal (terkrili)

  • Face-centered cubic (terkubmidju kubytai)
  • Body-centered cubic (xadmidju kubytai)
Retrieved from "https://mw.lojban.org/index.php?title=geology&oldid=74865"