Sentence examples for disjunction without from inspiring English sources

He points out, however, two difficulties with this: firstly, his proposal makes (10f) and (11f) truth-valueless too, when they seem clearly false (at least if "according to PW…" works like "according to the fiction …" operators standardly do); and secondly, the disjunction of (10) and (11) is true and a logical truth, so we have the truth of a disjunction without the truth of either disjunct.

In other words, we can distinguish in one run of the algorithm between the two quantum disjunctions without finding out the truth values of the disjuncts themselves in the computation.

In other words, Simon's oracle is another example of a quantum algorithm which evaluates a disjunction seemingly without determining the truth values of its disjuncts.

That is, one can apparently have the disjunction problem without a problem of false belief.

In certain substructural logics, such as linear logic and the Lambek calculus, and in the fragment of the relevant logic R without disjunction, a Gentzen system can be used to show that the logic is decidable, in that an algorithm can be found to determine whether or not an argument X ⊢ A is valid.

Consistent with that observed in DNA bead-spindles, the condensed sperm chromatin moved poleward without disjunction during anaphase of meiosis II (Figure 1F, arrow).

Other studies have examined MEFs from separase knock-out mice, finding that chromatid disjunction was blocked without separase, but again it was not determined whether chromosome arms or the centromeres were unable to separate [39], [40].

A fact is a ground rule without disjunction and with an empty body.

Studies are typically carried out on traditional taxonomic groups, at traditional taxonomic ranks (genera, families, etc)., which happen to exhibit a particular disjunction pattern, usually without any initial regard for the age of the chosen group in relation to the presumed age of the causal event of interest.

We speculate that, by comparison to wild-type, the strongly centrosomine-stained structures detected in Figure 4, D F may represent aggregates of duplicated centrioles, either unable to move apart or separated in an earlier event but then replicating without disjunction.

Surgically assisted rapid maxillary expansion (SARME) is a procedure routinely performed to correct transverse maxillary deformities and can be performed with or without pterygomaxillary disjunction (PD).