Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre, str. 98

Pri., V, 8, d, 17.

18 recto.

— ———— ——————

CALCULI UNIVERSALIS INVESTIGATIONES

III. Si vera est propositio hæc : B est non À, tunc vera propositio est B est non À. rursus identica.

IV. Si vera propositio est B est non-non À, vera propositio est B est À.

Definitiones :

Termini contradictorii sunt quorum si uni præfigitur non, inde fit alter. Hinc sunt duo tantum, et non non À est idem quod À.

Propositio vera est cujus prædicatum continetur in subjecto seu ei inest. Hoc est si in locum quorundam terminorum substituantur æquipollentes seu ex ii! ex quibus componuntur, ostenditur terminos < simul > æquipollentes prædicato omnes reperiri inter terminos æquipollentes subjecto. Propositio non vera seu falsa est ubi id > non fit. |

| Falsa < autem >> propositio idem est quod non-vera. ta ut hi duo termini verum et falsum sint contradictorii. Unde etiam ex quibusdam harum propositionum demonstrari possunt cæteræ. Possumus et altius assurgere et sumamus exempli causa tantum hanc : Si propositio B est À est vera, tunc propositio B est non À est falsa. < quam in se replicabimus >. Et quoniam id ipsum Haæc propositio B est A. rursus est subjectum propositionis, et prædicatum est wa, Hinc loco subjecti : Haæc propositio : Best À scribemus 8. et loco prædicati : vera scribemus. a. Et quia falsum est idem quod non-verum (ex definitione termini) hinc fiet talis propositio :

Si propositio f est x est vera, tunc propositio 8 est non-x est falsa.

id est : B : \5 Sr rrorosrrio | (8) Proposirio est : TUNC PROPOSITIO (B) Proposirio «est À [a HÆC EST

HÆC EST

(4) VERA (non - x) FALSA

EST VERA EST FALSA.

sive ut vulgarius loquar, si verum est aliquam propositionem esse veram, falsum est eam esse fal-

1. 1 faut probablement lire : alii au lieu de ex ti.

is: