share: true
aliases:
- Důkaz ekvivalence

Důkaz ekvivalence

Chceme-li dokázat pravdivost ekvivalence mezi dvěma tvrzeními, , lze postupovat například:
- Důkazem přímým
  - Tedy odvozením řetězce ekvivalencí tvaru
  - z čehož plyne i
- Převedením na úlohu dokázat dvojici implikací,
- Obdobně důkazem dvojice implikací

Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25