równokątność

Temat: Nowa teoria implikacji
...wynika bezpośrednio z aksjomatycznych definicji zero-jedynkowych, uzasadnienie masz w pkt.1.2 w podpisie (Część II). Dowód posredni jest banalny: Trójkąt jest równoboczny wtedy i tylko wtedy gdy ma kąty równe TR<=>KR Nigdy tego nie rozbijesz na dwie implikacje proste, choćbyś pękł :) Na "Kubusiowe" nie, ale na normalne tak. Równoboczność trójkąta implikuje równokątność.
Źródło: ateista.pl/showthread.php?t=7685