„Indirekt bizonyítás” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Kategória:Logika kategória hozzáadva (a HotCattel) |
a Kategória:Matematika kategória hozzáadva (a HotCattel) |
||
18. sor:
Itt <math>\mathbb{F}</math> a hamis logikai értéket, p pedig a bizonyítani kívánt állítást jelöli. <math>S</math> igaznak feltételezett állítások valamilyen halmazát (például egy matematikai terület axiómáit) jelenti.
[[Kategória:Logika]]
[[Kategória:Matematika]]
|