Càlcul lògic: diferència entre les revisions

Contingut suprimit Contingut afegit
m Correcció tipogràfica: espais sobrants
m Correcció tipogràfica: espais sobrants
Línia 738:
<math> B = \bigwedge x (x \in B) </math>
 
<math> A = B </math> ; <math> def. \bigwedge x (x \in A \leftrightarrow x \in B) </math>
 
A = Tots els nens que tenen un any d'edat.
Línia 759:
<math> B = \bigwedge x (x \in B) </math>
 
<math> A|B </math> ; <math> def. \bigwedge x (x \in A \rightarrow x \notin B) \land (x \in B \rightarrow \notin A) </math>; <math> A|B = A \subset \bar{B}</math>
 
==== Proposicions tipus ====