Teoria mocy - prawdziwość zdań

[terefere123]

Czy prawdą jest, że:
1) \(\displaystyle{ (\exists f)(f: A \rightarrow B \wedge f}\) jest "na" \(\displaystyle{ ) \Leftrightarrow |B| \le |A|}\)
2) \(\displaystyle{ A \subseteq B \rightarrow |A| \le |B|}\)

Wydaje mi się, że oba są prawdziwe, ponieważ oba "twierdzenia" udało mi się udowodnić.

[Jan Kraszewski]

1) wymaga założenia \(\displaystyle{ B\ne \emptyset}\). Bez tego nie ma równoważności.

2) jest prawdziwe.

JK