Nearby theorems
|
|
brismu bridi |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > Home > Th. List > df-nahahu | |||
| Description: Definition of not-free quantification: {na'a'u da} means that the value which {da} takes on is effectively irrelevant to the truth value of its bridi. |
| Ref | Expression |
|---|---|
| df-nahahu | ⊢ go na'a'u da zo'u broda gi ro da zo'u ganai broda gi ro da zo'u broda |
| Copyright terms: Public domain | W3C validator |