„Indirekt bizonyítás” változatai közötti eltérés

 

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.

 

== Példa ==

*{{cite web |url=http://www.geier.hu/logika/bizonyitas.html#indirekt |title=Bizonyíthatóság, indirekt bizonyítás |accessdate=2010-10-19 |author=Geier János}}

 

 

[[en:Proof by contradiction]]