Template:Individual-TLP-paragraph-fr-5.514: Difference between revisions

Template:Individual-TLP-paragraph-fr-5.514 (view source)

12 bytes added , 1 year ago

no edit summary

5,963

edits

Revision as of 20:13, 4 December 2022 (view source) LWPBot (talk \| contribs) (Bot: Automated import of articles)		Latest revision as of 09:45, 11 February 2023 (view source) MLavazza (talk \| contribs) No edit summary
Line 1:		Line 1:
	{{ParTLPwrapper-fr\|{{ParTLP\|5.514}} Quand une notation est fixée, elle comporte une règle selon laquelle toutes les propositions qui nient p sont construites; une règle selon laquelle toutes les propositions affirmant p sont construites; une règle selon laquelle toutes les propositions affirmant p ou q sont construites, et ainsi de suite. Ces règles sont équivalentes aux symboles, et en elles se reflète leur sens.		{{ParTLPwrapper-fr\|{{ParTLP\|5.514}} Quand une notation est fixée, elle comporte une règle selon laquelle toutes les propositions qui nient p sont construites ; une règle selon laquelle toutes les propositions affirmant p sont construites ; une règle selon laquelle toutes les propositions affirmant p ou q sont construites, et ainsi de suite. Ces règles sont équivalentes aux symboles, et en elles se reflète leur sens.

	}}		}}