„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
Szubcsonk bővítése |
a Kategória:Logika kategória hozzáadva (a HotCattel) |
||
17. 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]]
|