« first day (3931 days earlier)
← previous day
next day →
last day (1013 days later) »
user21820
3:27 AM
The easiest way to prove the required sentence is to expand the proof for ∀S∈nset ∃I∈set ∀x∈obj ( x∈I ⇔ ∀T∈set ( T∈I ⇒ x∈T ) ):
←
1 message moved from
Basic Mathematics
user21820
3:53 AM
> ∀S∈nset ∀I∈set ∀x∈obj ( x∈Intersect(S) ⇔ ∀T∈set ( T∈S ⇒ x∈T ) ).
←
1 message moved from
Basic Mathematics
> ∀S∈set ∀x∈obj ( x∈Union(S) ⇔ ∃∈set ( T∈S ⇒ x∈T ) ).
←
1 message moved from
Basic Mathematics
« first day (3931 days earlier)
← previous day
next day →
last day (1013 days later) »
all rooms
Transcript for
Jul
24
Jul '21
25
Jul
26
Sandbox
Where you can play with chat features (except flagging) and ch...
5
ai
bots
chatgpt
experimentation
fishes
oak
sandbox
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile