Ad argvmentvm transi
Topos Uranos
Latine

Relationes et logica

Svmmarivm

Condicio est expressio cvivs valor vervs avt falsvs est. Haec lectio considerat qvomodo condiciones in C++ constrvantvr: sex operatores relationales, qvi dvos valores comparant et bool prodvcvnt; tria connectiva logica, &&, || et !, qvae condiciones conivngvnt vt conivnctio, disivnctio et negatio logicae, et praecedentiam qvae ea inter se et respectv arithmeticae ordinat. Considerat etiam dvas proprietates qvibvs C++ a scriptvra mathematica recedit: catenam 1 < x < 5, qvae compilatvr nec significat qvod videtvr, et aestimationem brevi circvitv, qva secvndvm operandvm operatorvm && et || non aestimatvr cvm primvm iam eventvm decernit, qvod sinit operationem pericvlosam mvnire. Finitvr negatione condicionvm compositarvm per leges De Morgani, tabvlis veritatis confirmata, et exemplo svo praecipvo: condicione anni bisextilis eivsqve negatione. Pars nondvm decisiones habet: condiciones aestimantvr et vt true avt false imprimvntvr, et lectio Decisiones eas programma regere faciet.

Proposita discendi

  1. Condiciones compositas in C++ scribere qvae envntiata convertant qvalia «xx inter 1 et 10 est, terminis inclvsis».
  2. Condicionem compositam legibvs De Morgani negare et aeqvivalentiam tabvla veritatis confirmare.
  3. Aestimatione brevi circvitv vti ad operationem mvniendam, vt in count != 0 && total / count > 2.
  4. Errorem scribendi 1 < x < 5 agnoscere, explicare qvid compvtet et evm corrigere.

Condicio vt expressio

Lectio Characteres, valores Booleani, conversiones et constantes genvs bool praesentavit, cvm dvobvs valoribvs true et false, et lectio Arithmetica ostendit expressionem arborem habere, qvam praecedentia et associativitas statvvnt, et genvs, qvod operanda eivs statvvnt. Haec lectio ambas notiones conivngit. Condicio est expressio generis bool: non instrvctio qvae aliqvid interrogat, sed compvtatio cvivs eventvs responsvm est. count < 10 compvtatvr sicvt count + 1: operanda svmvntvr, operator adhibetvr et valor obtinetvr, nisi qvod valor est true avt false loco nvmeri. Si ita est, qvidqvid de expressionibvs arithmeticis valet, de condicionibvs valet: praecedentiam habent, arborem habent, in variabili nominata servari possvnt (const bool inRange{…}) et imprimi possvnt. Ex hoc seqvitvr qvaestio qvae totam lectionem percvrrit: data sententia («annvs bisextilis est», «aetas inter 18 et 65 est»), qvae expressio exacte evndem valorem veritatis habet pro omnibvs datis possibilibvs?