Uniwersytet Wrocławski, wykład z logiki na polonistyce, jakoś 5 lat temu. Dr T. tłumaczy co oznacza implikacja typu P->P: "Jeśli Kwaśniewski kłamie, to Kwaśniewski kłamie.
Jeśli studenci polonistyki są leniwi, to studenci polonistyki są leniwi.
Jeśli Roman Terlecki jest geniuszem, to Roman Terlecki jest geniuszem.
Ale to wynikanie jest takie nieciekawe.. Bo ani nic nie mówi o Kwaśniewskim, ani nic nie mówi o studentach polonistyki... a co gorsza - NIC nie mówi o mnie!"
Nazwisko pana doktora zmieniłam, ale kto studiował, ten wie:)
