Càlcul lògic: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - idea d' <math> + idea de <math> |
m Corregit: - sense quantificació alguna no + sense cap quantificació no |
||
Línia 826:
<math> P </math> = ser quadrat; <math> x </math> = qualsevol cosa; <math> Px </math> = qualsevol cosa quadrada
Una funció proposicional sense
L'expressió <math> Pa </math> denota la idea de <math> Px </math> a <math> a </math> . Sent a, b, c, d, i .... constants individuals.
|