Learn More
1.1 Eindhoven quantifier calculus de Morgan: ¬〈∀ i : R : T 〉 = 〈∃ i : R : ¬T 〉 (1) ¬〈∃ i : R : T 〉 = 〈∀ i : R : ¬T 〉 (2) Trading : 〈∀ i : R ∧ S : T 〉 = 〈∀ i : R : S⇒ T 〉 (3) 〈∃ i : R ∧ S : T 〉 = 〈∃ i(More)
  • 1