validez semántica
	validez sintáctica
	valor de verdad
	verdad