Universal affirmative: Difference between revisions

Universal affirmative (view source)

5 bytes added , 20 October 2019

no edit summary

82,891

edits

Revision as of 19:50, 20 October 2019 (view source) Amwelladmin (talk \| contribs) No edit summary Tags: Mobile edit Mobile web edit ← Older edit		Revision as of 19:50, 20 October 2019 (view source) Amwelladmin (talk \| contribs) No edit summary Tags: Mobile edit Mobile web edit Newer edit →
Line 1:		Line 1:
	A [[universal affirmative]] is a categorical statement taking the form: “Every A is B.” where A and B are [[predicate\|predicates]]. In the language of predicate logic, this can be expressed as: ∀x:A(x)⟹B(x).		{{g}}A [[universal affirmative]] is a categorical statement taking the form: “Every A is B.” where A and B are [[predicate\|predicates]]. In the language of predicate logic, this can be expressed as: ∀x:A(x)⟹B(x).

	[[Universal affirmative]]s can only be partially converted. “All of Alma Cogan is dead, but only some of the class of dead people are Alma Cogan.”		[[Universal affirmative]]s can only be partially converted. “All of Alma Cogan is dead, but only some of the class of dead people are Alma Cogan.”