dowód math.h: czy można zdefiniować dowód następująco: Dowodem nazywamy skończony ciąg implikacji, które prowadzą od założenia do tezy. Jeżeli ma ktoś pomysł na lepszą definicję, którą zrozumieją gimnazjaliści, to wpisujcie dz

MQ: Niekoniecznie −− istnieją chociażby dowody nie wprost.

MQ: Poza tym nie każde twierdzenie ma postać implikacji, więc nie zawsze skończony ciąg implikacji jest wystarczającym dowodem.

PW: Założenie: √−25 = 5 Teza: −25 = 25 Dowód: √−25 = 5 ⇒ √−25² = 5² ⇒ −25 = 25. Wedle definicji z 10:37 powyższy ciąg implikacji jest dowodem tezy, że −25 = 25. I jak to teraz gimnazjalistom wytłumaczyć?