Wstęp do matematyki Klaudia: Proszę udowodnić, że jeśli choć jedna z formuł A, B jest tautologią rachunku zdań, to jest nią również formuła A ∨ B. Czy twierdzenie odwrotne jest również prawdziwe?

Gray: A kiedy, Klaudio, alternatywa jest prawdziwa? I to co to znaczy, że A lub B jest tautologią?

Klaudia: Już to rozwiązałam