Assertion: conversion | /r/HasProperty | valid
Facets:
value: for propositions
type: PURPOSE
value: in its simple form
type: OTHER
Source sentences:
text: Conversion is valid when, and only when, nothing is asserted in the converse which is not affirmed or implied in the exposita.
text: Conversion yields an equivalent proposition (and is hence a valid inference) in general only with so-called E and I propositions (universal negatives and particular affirmatives).
text: A crisis between American and Israeli rabbis was averted when the Chief Rabbinate agreed that all conversions completed by Freundel would be considered valid.
text: In its simple form, conversion is valid only for E and I propositions:
text: Otherwise, if the conversion is between numeric types of the same kind (integer-to-integer or floating-to-floating), the conversion is valid, but the value is implementation-specific (and may not be portable).