Dowód z rachunku kwantyfikatorów
Kornig: Czy te zndania ∀x ∃y δ(x,y) ⋀ ∀y ∃x δ(x,y) <=> ∀x ∀y δ(x,y) są równoważne i jeśli tak to jak to
udowodnic
14 gru 15:51
ite:
Każdy mężczyzna podoba się którejś kobiecie i każda kobieta podoba się któremuś mężczyźnie.
? ≡ ?
Wszyscy mężczyźni podobają się wszystkim kobietom.
14 gru 16:14