rachunek kwantyfikatorów albi: Czy następujące zdanie są prawami rachunku kwantyfikatorów? Jeśli tak, to je udowodnić, jeśli nie, to znaleźć kontrprzykład ∀x[Φ(x)⇒Ψ(x)]⇒[∃xΦ(x)⇒∃xΨ(x)] Proszę was uprzejmie o pomoc z takim zadankiem, ponieważ ta dziedzina matematyki jest moją pięta achillesową

albi:

ite: To jest prawo rozkładania kwantyfikatora szczegółowego. I jest nadzieja, że w necie już ktoś zapisał jego dowód.

ite: ewentualnie: prawo rozkładu