Roman Suszko: Porovnání verzí
Smazaný obsah Přidaný obsah
portály; +kat; infobox značka: editace z Vizuálního editoru |
m →Axiomy: upřesnění ke kongruenci |
||
Řádek 17:
* <math>p \equiv q \land r \equiv s \Rightarrow (p \rightarrow r)\equiv(q \rightarrow s)</math>
tedy ekvivalence <math>\equiv</math> je [[kongruence]] vzhledem k implikaci.
{{Pahýl}}
|