Regles del càlcul de la lògica de predicats Regles bàsiques

Introducció del generalitzador			Eliminació del generalitzador
IG	Pa			"xPa	EG
	"xPx	*1		Pa

Introducció del particularitzador			Eliminació del particularitzador
IP	Pa			$xPx	EP
	$xPx			Pa
				. . . A
				A	*2

Regles derivades
negació del generalitzador	negació del particularitzador

IG	Pa			"xPa	EG
	"xPx			Pa

*1. Condició: "a" no s'ha de donar en cap supòsit previ no cancel·lat.

*2. Condició: "a" no s'ha de donar en $xPx, ni en A,, ni en cap supòsit previ no cancel·lat.

_______________________________________________________________

M. Garrido, Lògica simbòlica, Tecnos, Madrid 1983, p.138.

Aquesta obra està sota una llicència de Creative Commons.