8. Zapisać za pomocą funktorów i kwantyfikatorów następujące twierdzenia
anka: Jeśli spośród trzech dowolnych prostych na płaszczyźnie dwie są równoległe, a trzecia jest
prostopadła do jednej z nich, to jest też prostopadła do drugiej
3 kwi 21:48
anka:
4 kwi 13:02
anka:
4 kwi 13:02