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ą
30 lis 19:39
albi: emotka
30 lis 21:39
ite: To jest prawo rozkładania kwantyfikatora szczegółowego. I jest nadzieja, że w necie już ktoś zapisał jego dowód.
30 lis 22:36
ite: ewentualnie: prawo rozkładu
30 lis 22:38