Search results

...ormal logic]] and [[argument mapping]], a '''lemma''' ({{plural form}}: '''lemmas''' or '''lemmata''') is a generally minor, proven [[Theorem#Terminology|pro ==Well-known lemmas== ...

...f>{{harvnb|Ichikawa|Steup|2018|loc=§ 3. The Gettier Problem, § 4. No False Lemmas, § 5. Modal Conditions, § 6. Doing Without Justification?}}</ref> This can ...

...ook |last=Rossi |first=Richard J. |year=2006 |title=Theorems, Corollaries, Lemmas, and Methods of Proof |series=Pure and Applied Mathematics: A Wiley Series ...