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

|||Align = "center"| C || Casos , línies [(n+1- n+b), (n+x-n+x+a)]

<math> A = B </math> ; <math> def. \bigwedge x (x \in A \leftrightarrow 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>

En aquest cas <math> Pa </math> és una proposició singular, en què <math> x </math> = <math> a </math> , i <math> Pa </math> pot tenir valor V o F.

La substitució d'una variable <math> x </math> en una funció proposicional <math> Px </math> s'ha de fer sota la condició que la variable < big> <math> w </math> , com a variable d'individus, ha d'estar lliure a <math> PW </math> en tots els llocs en què <math > x </math> passa lliure a <math> Px </math> . (Si <math> Px </math> no conté ocurrències lliures de <math> x </math> , llavors <math> Px </math> i <math> PW </math> són idèntiques; <math> x </math> i <math> w </math> són el mateix).

Una ocurrència lliure és la idea d'una variable <math> o </math> , <math> v </math> , <math> x </math> , <math> z </math> , etc. no sotmesa a l'abast d'un quantificador universal o existencial.