idiota napisał(a):Kwadrat jest szczególnym przypadkiem prostokątarafal3006 napisał(a):[GB: nie ma chmur to na pewno nie pada]tak właśnie jest w przypadku równoważności: gdy (pada wtw gdy chmury) zachodzi, że (jeśli nie ma chmur, to na pewno nie pada).
w wypadku implikacji chodzi o to, że wartość logiczna zdania o należeniu do podzbioru musi być mniejsza lub równa wartości logicznej zdania o należeniu do nadzbioru, natomiast przy równoważności musi być równa (przy danym wartościowaniu).
nie wiem jak chcesz udowodnić że relacja "jest równe" nie jest szczegółowym przypadkiem relacji "jest mniejsze (większe) lub równe"...
Równoważość jest szczególnym przypadkiem implikacji
Czy o tą oczywistość ci chodzi ?