Pruvo per disputo: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: ar:البرهان بنقض الفرض |
"dank' al" -> "danke al" |
||
Linio 4:
==Uzo en formala logiko==
Ni diru, ke la celo estas pruvi aserton ''p''. La pruvo per disputo okazas tiel, ke ĝi derivos, ke la aserto "ne estas vero, ke ''p''" kondukas al logika disputo. La aserto ''p'' do ne povas esti malvera kaj ĝi devas esti,
=== Ekzemplo ===
|