nibli -nib-ni'i- gismu

x1 logically necessitates/entails/implies action/event/state x2 under rules/logic system x3.

See also natfe, rinka, mukti, krinu, cmavo list ni'i, jalge, logji.


In definition:

ni'i
nibli modal, 1st place logically; logically because ...
ni'inai
na'e nibli modal, 1st place; regardless of logically sufficient condition ...
seni'i
nibli modal, 2nd place entails therefore ...
seni'inai
nibli modal, 2nd place entails nevertheless ...
teni'i
nibli modal, 3rd place entailment under logic system ...

In notes:

ciksi
x1 (person) explains x2 (event/state/property) to x3 with explanation x4 (du'u).
jalge
x1 (action/event/state) is a result/outcome/conclusion of antecedent x2 (event/state/process).
krinu
x1 (event/state) is a reason/justification/explanation for/causing/permitting x2 (event/state).
logji
x1 [rules/methods] is a logic for deducing/concluding/inferring/reasoning to/about x2 (du'u).
mukti
x1 (action/event/state) motivates/is a motive/incentive for action/event x2, per volition of x3.
natfe
x1 (du'u) contradicts/denies/refutes/negates x2 (du'u) under rules/logic x3.
rinka
x1 (event/state) effects/physically causes effect x2 (event/state) under conditions x3.
kairpau
being x1 (ka) is part of being x2 (ka)
lujrinsku
x1=c1 (person) justifies/expresses justification x2=k2 for x3=p1's complicated-ness in aspect x4=p2 to audience x5=c3 via expressive medium x6=c4.
madni'i
n1=m1 is the moral of story/situation m3 and entails action/event/state n2.
nibji'i
j1 concludes that n1 (du'u) logically implies n2 under rules n3.
nibyti'i
x1=n1 (idea/fact/du'u) suggests/intimates that x2=n2=s2 (idea/fact/du'u) is true as it appears to x3=s3
nibzilvlina
it is not true that and x1 is true and x2 is false; if x1 is true then x2 is true as well (logical sufficiency)
selja'e
x1 (event) results in x2 (event)
selni'i
n2 logically follows n1 under rules/logic system n3.
sezni'i
x1 is a tautology under rules/logic system x2
tolni'i
x1 (event/state) logically necessitates/entails/implies the negation of x2 (event/state), under rules/logic system x3. x1 prevents x2.
zilni'i
x1 is true
didni
x1 deduces/reasons by deduction/establishes by deduction that x2 is true about x3 from general rule x4
ibli
If x1 has the property x3, then x2 also has it; x1 having property x3 necessitates x2 having that property
indika
x1 (event/state) implies / suggests / is circumstantial evidence for x2 (du'u); the probability that x2 is true, given x1, is greater than the probability without x1